yogthos / chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
Why this job: says: mcp server; topics: mcp-server, mcp
What it does
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 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.
Get started
npm install -g chiasmus- Maintenance
- Active
- Last commit 23 days ago
- Stars
- 218
- On GitHub
- Licence
- Apache-2.0
- Allows business use
- Downloads for
- None listed
- No release files
- Latest version
- None yet
- No releases
- Built with
- TypeScript
- 100% of the code
Is it looked after?
- Contributors
- 3
- Last 90 days
- Issues
- 50% closed
- 3 still open
- Pull requests
- 47 merged
- 0 waiting
- Releases
- None
- Never published
- No contributing guide
- No security policy
- No code of conduct
More: languages, topics and project record
Languages
- TypeScript 100%
- JavaScript <1%
Topics
- ai-agents
- ai-assistant
- ai-tools
- formalmethods
- llm
- mcp
- mcp-server
- prolog
- z3-smt-solver
Project record
- JobMCP servers
- StatusListed
- Commits223
- Forks13
- Watching1
- Stars in 28 days+4
- CreatedApr 7, 2026
- First seen by usNov 7, 2026
- CheckedNov 7, 2026