by yogthos · MCP Server · ★ 200
Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h
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. 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.
| 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 |
Looking for a chiasmus alternative? If you're comparing chiasmus with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.
🌐Web Agent Protocol (WAP) - Record and replay user interactions in the browser with MCP support
The open-source execution engine for AI agents. 412 modules, MCP-native, triggers, queue, versioning, metering
Fastest way to build and deploy reliable AI agents, MCP tools and agent-to-agent. Deploy in a production read
MCP server for semantic code research and context generation on real-time using LLM patterns | Search naturall
Official remote MCP server for Atlassian. Securely connect Jira, Confluence, Jira Service Management, Bitbucke
Connect Cursor, Copilot & Claude AI directly to Cheat Engine via MCP. Automate reverse engineering, pointer sc
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.
The top alternatives to chiasmus on Agent Skills Hub include web-agent-protocol, flyto-core, agentor. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.