general MCP Server
Chiasmus is an MCP server that gives language models access to formal verification
Discovered via github-seeds and last synced 3mo ago.
1. Install the package
npx -y chiasmus
2. Add to claude_desktop_config.json
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": [
"chiasmus"
]
}
}
}Config file location: ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) / %APPDATA%\Claude\claude_desktop_config.json (Windows)
accepts `format="mermaid"` with `solver="prolog"` to parse Mermaid flowcharts and state diagrams directly into Prolog facts: