PrototypeCommune
frenzymath/Archon
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
- Propriétaire
- frenzymath (organisation)
- Étoiles
- Étoiles : 229
- Forks
- Forks : 37
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2026
- Sujets
- ai-agentsautomationclaudeclaude-codecodexdagformal-methodsleanlean4mathematics
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de frenzymath
Les 4 dépôts de frenzymath- frenzymath/DanusÉtoiles : 497PythonAlpha
- frenzymath/RethlasÉtoiles : 362PythonAlpha
- frenzymath/jixiaÉtoiles : 131LeanPrototype
D’autres dépôts Python
Tous les dépôts Python- matlowai/ComfyUI-MAINodesÉtoiles : 229PythonPrototype
- yhz5613813/CadFlowÉtoiles : 229PythonPrototype
- jordanhubbard/daemonarchyÉtoiles : 229PythonPrototype
- bmc/munkresÉtoiles : 229PythonPrototype
- mfisk/filemapÉtoiles : 229PythonPrototype
- liamks/libpytunesÉtoiles : 229PythonPrototype