Archon
AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
frenzymath/Archon
View on GitHub ↗AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.
Archon grew +3.2% in the last 30 days, ranks 1560th of 2,580 in Agent SDK / Framework, last commit 68 days ago.
Star trajectory
79 days tracked2026-08-07228 stars today2026-10-25
Momentum
+3.2% in 30d, above the Agent SDK / Framework median of +1.5%.
Maintenance
Last commit 68 days ago, staler than the median of 14d.
How it compares in Agent SDK / Framework
Archon
228
stars
+3.2% 30d
commit 68 days ago
Agent SDK / Framework median
310
stars
+1.5% 30d
commit ~14d ago
Leader · rea
379.8k
stars
+91425.1% 30d
commit today
Ranked 1560th of 2,580 by stars.
- Language
- Python
- License
- Apache License 2.0
- Contributors
- 5
- Forks
- 36
- Watchers
- 5
- Open issues
- 0
- Releases
- 0
- Created
- 2026-03-22
- Stars this week
- +3
You've seen where Archon stands today.
Get the moves before everyone else: the 5 Agent SDK / Framework repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.