A
AutoformBot
Multi-agent system for scaling mathematical formalization in Lean 4 with collaborative verification
Open SourceFree
About
AutoformBot orchestrates thousands of LLM agents to formalize mathematics at scale in Lean 4. The system combines formal verification, intelligent dependency scheduling, and collaborative version control to transform entire textbooks into machine-verified mathematical libraries. Designed for researchers automating the formalization of complex mathematical proofs and building large-scale formal mathematics corpora.
Details
| Type | coding-agent |
| Deployment | self-hosted |
| Supported Models |
Tags
multi-agentautonomousorchestrationopen-sourceresearchverificationcollaborative
Quick Info
- Organization
- Research Team
- Pricing
- open-source
- Free Tier
- Yes
- Updated
- May 29, 2026
Also in Agents
A
AI Data Analysis Agent
Autonomous agent that analyzes datasets and generates visual insights
OSSFree
Shubham Saboo
112.2K7d ago78
A
AI Deep Research Agent
Autonomous agent that conducts comprehensive multi-source research investigations
OSSFree
Shubham Saboo
112.2K7d ago78
A
AI Journalist Agent
Autonomous agent that researches topics and writes structured news articles
OSSFree
Shubham Saboo
112.2K7d ago78