frenzymath/Archon

GitHub

AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.

Python199 stars36 forksApache-2.0

ai-agents automation claude claude-code codex dag formal-methods lean lean4 mathematics proof-assistant theorem-proving

Momentum

frenzymath/Archon has 199 GitHub stars.

It currently ranks #40699 daily, #40791 weekly, #41602 monthly by momentum on Trending Repos; its best-ever rank is #2996.

Rankings

PeriodRankScore

Daily

#406990.0

Weekly

#407910.0

Monthly

#416020.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #2996

Format

Markdown

[![frenzymath/Archon badge](https://trending-repos.com/badge/frenzymath/Archon.svg?v=3)](https://trending-repos.com/repositories/frenzymath/Archon?utm_source=github&utm_medium=badge)

frenzymath/Archon

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

frenzymath/Archon

Momentum

Rankings

Engagement

Similar trending repositories

Embeds