frenzymath/Archon
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Why it is useful
Archon is a recent open-source project in Formal Methods. It is included because it has recent repository activity and can support mathematical learning, research, modelling, software development, or AI workflows.
Repository at a glance
- Owner: frenzymath
- Primary language: Python
- Latest update: 2026-07-31
- Stars / forks: 180 / 33
- License: Apache-2.0
- Links: Official project site
Good starting points
- Read the project README and installation instructions.
- Try the smallest example before changing parameters or datasets.
- Check tests, issues, and release notes before relying on results in teaching or research.
- Cite the repository and its license when reusing code or figures.
README snapshot
div align="center" Frenzymath · PKU @ AI4Math Autonomous formalization of research-level mathematics in Lean 4 /div ✨✨ Archon v0.3.3. Dashboard and workflow polish. Project scoping & roadmap: a Scope Home view with interactive status checklists and an archon scope roadmap agent that condenses the plan into milestones. Cost visibility: per-operation and turn-level token + USD tracking in the log viewer. Static export (archon dashboard --static-build) publishes a self-cont