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.
Cross-referenced across 55 tracked directories
#2868
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
8/17/2026
Created
2
GitHub Stars
10/25/2026
Last Commit
Recently added to the ecosystem
Score: 100/100
0 dependency vulnerabilities found
bytedance
The Open-Source Multimodal AI Agent Stack: Connecting Cutting-Edge AI Models and Agent Infra
Erick Friis <[email protected]>
Building applications with LLMs through composability
klim.paskov
One-time non-executable namespace claim for OIDC trusted-publisher setup.
letta-ai
Letta is the platform for building stateful agents: AI with advanced memory that can learn and self-improve over time.