Chiasmus
ai-agentStable
Chiasmus is an MCP server that gives language models access to formal verification
Stars
203
Δ stars 7d
+2
Δ stars 30d
—
Forks
11
Contributors
3
npm DL / wk
—
PyPI DL / wk
—
Language
TypeScript
Last push
2026-06-29
About 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. chiasmus_verify solver="prolog" format="mermaid" input="stateDiagram-v2\n Idle --> Active : start\n Active --> Done : finish" …
Read the full README on GitHub →
Chiasmus growth signals this week
- Gained 2 stars in the last 7 days
Growth score: 9/100 week of 2026-07-20
Signal history
| Week | Score | Δ★ | Signal |
|---|---|---|---|
| 2026-07-20 | 9 | +2 | Stable |
| 2026-07-13 | 9 | +2 | Stable |
| 2026-07-06 | 12 | +2 | Stable |
| 2026-06-29 | 38 | +4 | Stable |
| 2026-06-22 | 31 | +4 | Stable |
| 2026-06-15 | 75 | +21 | Stable |
Chiasmus alternatives
Projects in the same category, closest in size — picked by data, not opinion.
See all ai-agent projects ranked by growth →
More from yogthos
Frequently asked questions
- Is Chiasmus still maintained?
- Yes — actively maintained. The last push was on 2026-06-29, with 3 contributors.
- Is Chiasmus growing?
- It is stable this week, with a growth score of 9/100. See the weekly history above.
- What are the best Chiasmus alternatives?
- Closest by category and size in our data: open_browser_use, OpenLore, ozgurcd/gograph — full list with live signals above.
Topics
Embed this badge
Show your project's live signal in your README — it updates weekly with the data.
Tracked since 2026-06-20 · data as of 2026-07-19 · 3 open issues · 0 releases