Archon

About Archon

Archon Frenzymath · PKU @ AI4Math Autonomous formalization of research-level mathematics in Lean 4 ✨✨✨ Archon v0.3.0. Adds more harnesses (currently Codex and Claude Code) and workarounds for Anthropic's new rate limits on (Codex, a headless Claude TUI, and more). Archon grounds its work in a DAG via LeanDag, a custom API for querying the Lean blueprint graph. The dashboard is richer — blueprints are rendered, the DAG is navigable.

ai-agents automation claude claude-code codex dag formal-methods lean lean4 mathematics

Quick Facts

Stars	159
Forks	30
Language	Python
Category	Codex Skill
License	Apache-2.0
Quality Score	67.4141316700621/100
Last Updated	2026-07-07
Created	2026-03-22
Platforms	claude-code, codex, python
Est. Tokens	~20k

Compatible Skills

These tools work well together with Archon for enhanced workflows:

lean-lsp-mcp — semantic(0.23)+complementary+rare_topics+same_lang+similar_pop+shared_platform (57%)
spellbook — semantic(0.20)+complementary+same_lang+similar_pop+shared_platform (57%)
SoloFlow — semantic(0.20)+complementary+rare_topics+same_lang+similar_pop+shared_platform (56%)

More Codex Skill Tools

Explore other popular codex skill tools:

openclaw ⭐ 382.2k
hermes-agent ⭐ 211.4k
ui-ux-pro-max-skill ⭐ 101.6k
graphify ⭐ 80.2k
graphify ⭐ 77.1k
open-design ⭐ 76.2k
agent-skills ⭐ 71.4k
career-ops ⭐ 59.1k
taste-skill ⭐ 56.5k
system_prompts_leaks ⭐ 53.8k

View all Codex Skill tools →

Popular Python Agent Tools

hermes-agent ⭐ 211.4k · Codex Skill
AutoGPT ⭐ 185.4k · Agent Tool
skills ⭐ 157.3k · Claude Skill
langflow ⭐ 151.4k · Agent Tool
open-webui ⭐ 143.9k · MCP Server

Frequently Asked Questions

What is Archon?

Archon is AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.. It is categorized as a Codex Skill with 159 GitHub stars.

What programming language is Archon written in?

Archon is primarily written in Python. It covers topics such as ai-agents, automation, claude.

How do I install or use Archon?

You can find installation instructions and usage details in the Archon GitHub repository at github.com/frenzymath/Archon. The project has 159 stars and 30 forks, indicating an active community.

What license does Archon use?

Archon is released under the Apache-2.0 license, making it free to use and modify according to the license terms.

View on GitHub → Browse Codex Skill tools