skills.rest
frenzymathfrenzymathOfficial·1 Agent Skills Included

Archon

Autonomous formalization of research mathematics in Lean 4

Automates the formalization of research-level mathematics into verified Lean 4 proofs. Separates planning from proving so agents write, check, and refine theorems without context overload. Eliminates manual proof debugging with mathlib search, axiom checks, and build diagnostics. Tracks progress, costs, and dependencies through a live project dashboard.
192|34
↗
npx skills add frenzymath/Archon --all -g -y
Available:

Defines the roles, file permissions, subagent dispatch rules, and protected-declaration constraints that govern how plan, prover, and review agents collaborate inside an Archon Lean 4 project.

All Skills in This Repository (1)

Pure Emerald Level Indicators
📦 In Repo
frenzymathfrenzymath

lean4

Inspect Lean 4 proof goals and search mathlib via LSP diagnostics.

Official
Advanced

Frequently Asked Questions

FAQPage Schema
How to install Archon?▼

Run `npx skills add frenzymath/Archon --all -g -y` in your terminal to install all skills in this suite globally.

What does Archon do?▼

Archon autonomously formalizes research-level mathematics in Lean 4, using a plan agent for strategy and prover agents that write and verify proofs across multi-file projects.

Does Archon work with Claude Code and Codex?▼

Yes. Archon runs on Claude Code by default and supports Codex since v0.3.0, with other models available through Anthropic-compatible APIs or OpenRouter.

Can Archon handle large Lean projects?▼

Yes. It is designed for project-level formalization with interdependent theorems, blueprint dependency graphs, multi-lane proving, and a monitoring dashboard.

Is Archon safe to run autonomously?▼

Use `archon loop --safe` to sandbox file writes to the active project; the default mode grants broad permissions, so a dedicated user or container is recommended.

Related Repositories in Education & Research

View All in Education & Research→
shareAI-labshareAI-lab
75.8k

learn-claude-code

Learn to build AI agent harnesses from scratch

Official📦 4 Skills
microsoftmicrosoft
73.6k

ai-agents-for-beginners

Learn to build, deploy, and secure AI agents step by step

Official📦 8 Skills
leonardomsoleonardomso
66.5k

33-js-concepts

Master 33 essential JavaScript concepts with tested, verified guides

Community📦 6 Skills