1
Published Tools
1
Total Stars
0
Weekly Downloads
1
GitHub Followers
2
Public Repos
100/100
Avg Security
Published Tools
1 Agentacross 1 categoryDezz05
A
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.
...moreAgentdevtools
11 dir