1
Published Tools
2
Total Stars
0
Weekly Downloads
0
GitHub Followers
1
Public Repos
100/100
Avg Security
Published Tools
1 Agentacross 1 categoryLean-Prover
A
An autonomous Lean 4 theorem-proving agent: LLM-drafted proofs iteratively repaired against lake compiler diagnostics with LSP goal-state feedback until type-checked. 68/100 on a graded 100-problem benchmark using a free 27B endpoint, $0.
...moreAgentuncategorised
21 dir