chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
yogthos/chiasmus
View on GitHub ↗Chiasmus is an MCP server that gives language models access to formal verification
chiasmus grew +2.3% in the last 30 days, ranks 1118th of 2,113 in Protocols (MCP / A2A), actively maintained, last commit 6 days ago.
Star trajectory
79 days tracked2026-08-07218 stars today2026-10-25
Momentum
+2.3% in 30d, above the Protocols (MCP / A2A) median of +1.7%.
Maintenance
Last commit 6 days ago, fresher than the median of 11d.
How it compares in Protocols (MCP / A2A)
chiasmus
218
stars
+2.3% 30d
commit 6 days ago
Protocols (MCP / A2A) median
233
stars
+1.7% 30d
commit ~11d ago
Leader · rea
379.8k
stars
+91425.1% 30d
commit today
Ranked 1118th of 2,113 by stars.
- Language
- TypeScript
- License
- Apache License 2.0
- Contributors
- 3
- Forks
- 12
- Watchers
- 1
- Open issues
- 3
- Releases
- 0
- Created
- 2026-04-07
- Stars this week
- +3
You've seen where chiasmus stands today.
Get the moves before everyone else: the 5 Protocols (MCP / A2A) repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.