frenzymath/Archon

AI-assisted Lean project automation with DAG blueprints, pr…