Chiasmus
Rank #4,026glama/yogthos/chiasmus
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.
Chiasmus is a Model Context Protocol (MCP) server published by yogthos. It ranks #4,026 of 76,851 servers tracked on MCP Toplist, and its repository has 202 GitHub stars. Chiasmus is listed across 2 registries — Glama and PulseMCP, and ships as a single rolling release with no explicit version metadata. It was first listed on Apr 8, 2026.
Ranks ahead of 72,825 of 76,851 servers on MCP Toplist.
Listed on 1 registry (1 delisted)
yogthos
Other servers by yogthos
View all yogthos servers →Not versioned
This server is published through registries that do not expose explicit version metadata, and no GitHub release tags were found on the linked repository. The listing tracks a single rolling release.
Frequently asked questions
- Who maintains Chiasmus?
- Chiasmus is maintained by yogthos, which publishes 3 MCP servers (0 total versions) tracked on MCP Toplist.
- Is Chiasmus listed on the Official MCP Registry?
- Chiasmus is not on the Official MCP Registry. It is listed on Glama and PulseMCP.
- How many versions does Chiasmus have?
- Chiasmus ships as a single rolling release with no explicit version metadata.
- Where can I find the source code for Chiasmus?
- The source code for Chiasmus is hosted at github.com/yogthos/chiasmus.