Archon
Python
★ 186
updated 2d ago
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
No plain-English explanation yet — one is being written right now. Check back in a minute.