Comparison
Chiasmus vs ECC
ECC has more GitHub stars (280,199 vs 214). ECC was updated more recently (last commit 11h 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
ECC
The agent harness performance optimization system. Skills, instincts, memory, security, and research-first development for Claude Code, Codex, Opencode, Cursor and beyond.
$
/plugin marketplace add https://github.com/affaan-m/ECC| Metric | Chiasmus | ECC |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 214 | 280,199 |
| Stars, last 7 days | n/a | n/a |
| Forks | 12 | 41,674 |
| Upvotes | 0 | 0 |
| Language | TypeScript | JavaScript |
| License | Apache-2.0 | MIT |
| Last commit | 3d ago | 11h ago |
| Created | Apr 2026 | Jan 2026 |
| Categories | AI & LLM tooling | AI & LLM tooling, Memory & knowledge, Security |