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-based pipeline, verifies results with mathematical certainty, and analyzes call graphs for reachability, dead code, and impact analysis.
Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.
Install from
M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.
Disclosed vulnerabilities in this server's declared npm dependencies (via OSV). Whether each is reachable depends on the installed versions.
When Vitest UI server is listening, arbitrary file can be read and executed
Model Context Protocol (MCP) TypeScript SDK does not enable DNS rebinding protection by default
process.env. You'll be asked to provide them before it can run.ANTHROPIC_API_KEY— Optional: Anthropic provider for autonomous modeAZURE_OPENAI_API_ENDPOINTAZURE_OPENAI_API_KEYAZURE_OPENAI_API_VERSIONAZURE_OPENAI_EMBED_DEPLOYMENTAZURE_OPENAI_ENDPOINTCHIASMUS_API_URL— per provider Override API base URL (e.g. for local models via Ollama)CHIASMUS_CACHE_DIR— ~/.cache/chiasmus Per-file extraction cache + graph snapshots (when cache=true)CHIASMUS_CACHE_MAX_PER_REPO— 67108864 (64 MB) Per-repo cache byte budget — LRU eviction above thisCHIASMUS_EMBED_DIM— discovered Embedding dimension (else learned on first call; local skips the first-call cache miss)CHIASMUS_EMBED_MODEL— text-embedding-3-small Embedding model name (cloud providers)CHIASMUS_EMBED_URL— per provider Embedding API base URLCHIASMUS_HOME— ~/.chiasmus/ Database, skill storage, and configCHIASMUS_MODEL— per provider Override model nameDEEPSEEK_API_KEY— Optional: DeepSeek provider for autonomous modeOPENAI_API_KEY— Optional: OpenAI provider for autonomous modeOPENROUTER_API_KEY[](https://m8ven.ai/mcp/yogthos-chiasmus-1o45pz)