Comparison
Chiasmus vs rea
rea has more GitHub stars (288,843 vs 214). rea was updated more recently (last commit 3d ago). Data comes straight from GitHub and refreshes daily.
Chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
$
claude mcp add chiasmus -- npx -y chiasmus
rea
Reverse engineer anything with agents, from app behavior down to native binaries.
$
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json| Metric | Chiasmus | rea |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 214 | 288,843 |
| Stars, last 7 days | n/a | +22,226 |
| Forks | 12 | 72,729 |
| Upvotes | 0 | 0 |
| Language | TypeScript | TypeScript |
| License | Apache-2.0 | MIT |
| Last commit | 1w ago | 3d ago |
| Created | Apr 2026 | Apr 2026 |
| Categories | AI & LLM tooling | AI & LLM tooling, Memory & knowledge |