PrototypeCommon
frenzymath/Archon
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
- Owner
- frenzymath (organization)
- Stars
- Stars: 229
- Forks
- Forks: 37
- Language
- Python
- License
- Apache-2.0
- Created
- 2026
- Topics
- ai-agentsautomationclaudeclaude-codecodexdagformal-methodsleanlean4mathematics
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by frenzymath
All 4 repos by frenzymath- frenzymath/DanusStars: 497PythonAlpha
- frenzymath/RethlasStars: 362PythonAlpha
- frenzymath/jixiaStars: 131LeanPrototype
Nearby in Python
All Python repos- yhz5613813/CadFlowStars: 229PythonPrototype
- michelle11032424-jpg/Interpark-Stars: 229PythonPrototype
- whyever77/dafeiyu-astrbotStars: 229PythonPrototype
- bmc/munkresStars: 229PythonPrototype
- mfisk/filemapStars: 229PythonPrototype
- liamks/libpytunesStars: 229PythonPrototype