Comparison
Prover vs ECC
ECC has more GitHub stars (279,762 vs 0). ECC was updated more recently (last commit 2d ago). Data comes straight from GitHub and refreshes daily.
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
$
claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/
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 | Prover | ECC |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 0 | 279,762 |
| Stars, last 7 days | — | — |
| Forks | 0 | 41,620 |
| Upvotes | 0 | 0 |
| Language | — | JavaScript |
| License | — | MIT |
| Last commit | — | 2d ago |
| Created | — | Jan 2026 |
| Categories | — | AI & LLM tooling, Memory & knowledge, Security |