{"repo":"yogthos/chiasmus","free":true,"listed":false,"github":"https://github.com/yogthos/chiasmus","clone":"git clone https://github.com/yogthos/chiasmus.git","description":"Chiasmus is an MCP server that gives language models access to formal verification","language":"TypeScript","stars":208,"topics":["formalmethods","llm","mcp","prolog","z3-smt-solver","ai-agents","ai-assistant","ai-tools","mcp-server"],"license":"Apache-2.0","category":"mcp-servers","readme_excerpt":"Chiasmus 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. Example use cases - \"Can our RBAC rules ever conflict?\" → Z3 finds the exact role/action/resource triple where allow and deny both fire - \"Find compatible package versions\" → Z3 solves dependency constraints with incompatibility rules, returns a valid assignment or proves none exists - \"Can user input reach the database?\" → Prolog traces all paths through the call graph, flags taint flows to sensitive sinks - \"Are our frontend and backend validations consistent?\" → Z3 finds concrete inputs that pass one but fail the other (e.g. age=15 passes frontend min=13 but fails backend min=18) - \"Does our workflow have dead-end or unreachable states?\" → Prolog checks reachability from the initial state, identifies orphaned and terminal nodes - \"What's the dead code in this module?\" → tree-sitter parses source files, Prolog finds functions unreachable from any entry point - \"What breaks if I change this function?\" → call graph impact analysis shows all transitive callers - \"Do a full code review of these files\" → chiasmus review returns a phased recipe of graph analyses + verification temp","default_branch":null,"files":null,"tree":[],"storefront":"/r/yogthos","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/yogthos/chiasmus/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}