The Lean 4 IDE that checks the checker. A native desktop IDE for macOS, Windows, and Linux with an independent kernel re-verifying all proofs.
Cross-referenced across 55 tracked directories
#2874
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
3/7/2026
Created
1
GitHub Stars
10/13/2026
Last Commit
Recently added to the ecosystem
ucsandman
Full-featured agent toolkit for the DashClaw platform. 178+ methods across 30+ categories for governance and orchestration.
...moreoooscoos
Benzi is a coding AI agent + harness grounded in a live code map.
amol21p
MCP server that gives AI agents (Claude Code, Cursor, Windsurf) real interactive terminal sessions — REPLs, SSH, databases, Docker, and any interactive CLI with clean output and smart completion detection
...morekusdsuna
Sync AI agent rules across Claude, Cursor, Windsurf, Copilot and more. Write once, apply everywhere.