Rank #1890 · on radar since 2026-07-03
chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
Visit homepage ↗prologllmmcp-serverz3-smt-solver+5
Momentum
42.2
24h–7d–
Why it's ranked
Every score decomposes into published factors — the same math for every tool, paid or not. Read the methodology →
| Velocity (weighted, cohort-normalized) | 0.438 |
| Signal decay | 0.995 |
| Corroboration | 1.000 |
| Quality gate | 1.000 |
Raw signals (30 days)
github · forks10 latest · 2 snapshots
github · stars202 latest · 2 snapshots