by yogthos · MCP Server · ★ 200
Chiasmus MCP server that gives LLMs access to formal verification via Z3 (SMT solver) and SWI-Prolog (via , includes ), 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.
| Stars | 200 |
| Forks | 10 |
| Language | TypeScript |
| Category | MCP Server |
| License | Apache-2.0 |
| Quality Score | 71.4426292495781/100 |
| Open Issues | 3 |
| Last Updated | 2026-06-29 |
| Created | 2026-04-07 |
| Platforms | mcp, node |
| Est. Tokens | ~19k |
Explore other popular mcp server tools:
chiasmus is Chiasmus is an MCP server that gives language models access to formal verification. It is categorized as a MCP Server with 200 GitHub stars.
chiasmus is primarily written in TypeScript. It covers topics such as ai-agents, ai-assistant, ai-tools.
You can find installation instructions and usage details in the chiasmus GitHub repository at github.com/yogthos/chiasmus. The project has 200 stars and 10 forks, indicating an active community.
chiasmus is released under the Apache-2.0 license, making it free to use and modify according to the license terms.