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
#2866
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
Joao Moura <[email protected]>
Cutting-edge framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.
...moreIan Webster <[email protected]>
Python wrapper for the promptfoo CLI - LLM testing, red teaming, and security evaluation