# frenzymath/Archon

<https://repo.masters-masters.com/en/repos/frenzymath/Archon>

[Home](https://repo.masters-masters.com/en) › [frenzymath](https://repo.masters-masters.com/en/owners/frenzymath) › [Archon](https://repo.masters-masters.com/en/repos/frenzymath/Archon)

frenzymath/Archon has 229 stars on GitHub. Its RepoMasters card: Prototype tier. AI-assisted Lean project automation with DAG blueprints, proof orchestration…

| Field | Value |
| --- | --- |
| Owner | [frenzymath](https://repo.masters-masters.com/en/owners/frenzymath) |
| Stars | 229 |
| Forks | 37 |
| Language | [Python](https://repo.masters-masters.com/en/languages/python) |
| License | Apache-2.0 |
| Created | 2026 |
| Topics | ai-agents, automation, claude, claude-code, codex, dag, formal-methods, lean, lean4, mathematics |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [frenzymath/Archon](https://github.com/frenzymath/Archon) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by frenzymath

- [frenzymath/Danus · ★ 498 · Python · Alpha](https://repo.masters-masters.com/en/repos/frenzymath/Danus)
- [frenzymath/Rethlas · ★ 363 · Python · Alpha](https://repo.masters-masters.com/en/repos/frenzymath/Rethlas)
- [frenzymath/jixia · ★ 131 · Lean · Prototype](https://repo.masters-masters.com/en/repos/frenzymath/jixia)

## Nearby in Python

- [VAST-AI-Research/Mira-Scene · ★ 229 · Python · Prototype](https://repo.masters-masters.com/en/repos/VAST-AI-Research/Mira-Scene)
- [PKU-VaLuE-Lab/OmniReasoning · ★ 229 · Python · Prototype](https://repo.masters-masters.com/en/repos/PKU-VaLuE-Lab/OmniReasoning)
- [Yamz-Labs/kyojin · ★ 229 · Python · Prototype](https://repo.masters-masters.com/en/repos/Yamz-Labs/kyojin)
- [bmc/munkres · ★ 229 · Python · Prototype](https://repo.masters-masters.com/en/repos/bmc/munkres)
- [mfisk/filemap · ★ 229 · Python · Prototype](https://repo.masters-masters.com/en/repos/mfisk/filemap)
- [liamks/libpytunes · ★ 229 · Python · Prototype](https://repo.masters-masters.com/en/repos/liamks/libpytunes)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.