MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis. Translates…
Chiasmus is an MCP project maintained in the yogthos/chiasmus repository. The maintainer describes its purpose as “MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via prolog-wasm-full, includes library(clpfd)), plus tree-sitter-based source code analysis. Translates…”. Read the project documentation for the complete scope.
The documented npm package is chiasmus. The configuration below comes from the maintainer’s example; adapt its paths and account values to your environment.
Project documentation · Repository · Discovery listing. This profile records the public documentation checked on 2026-10-08.
{
"mcpServers": {
"chiasmus": {
"command": "npx",
"args": [
"-y",
"chiasmus"
]
}
}
}From the project documentation. Replace placeholders and example paths before connecting.
Read, search and edit files inside allowed directories with the Model Context Protocol reference Filesystem server.
Retrieve version-aware library documentation and code examples with Context7 MCP, using resolve-library-id and query-docs.
Disposable microVM sandboxes for AI agents: run code, read/write files, git, preview URLs.
Parsed ECMA-262 and ECMA-402 specs over MCP — clauses, algorithm steps, cross-references, edition diffs, test262 and proposal search.
Multi-LLM council: 25+ frontier models in parallel, consensus scoring, verdict-first code review.
Cribl MCP Server