MCP server that gives LLMs access to formal verification via Z3 and SWI-Prolog, plus tree-sitter-based source code analysis. Translates natural language problems into formal logic using a template-bas…
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": [
"-y",
"chiasmus"
]
}
}
}