Repository
frenzymath/Archon agent skills
- skill
- 1
- GitHub stars
- 223
GitHub description: “ AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving workflows.”
- Stars
- 223 (35 forks)
- Licence
- Apache-2.0
- Last push
- Aug 2026
- Created
- Mar 2026
- Homepage
- frenzymath.com
- ai-agents
- automation
- claude
- claude-code
- codex
- dag
- formal-methods
- lean
- lean4
- mathematics
- proof-assistant
- theorem-proving
Install all skills
npx skills add frenzymath/ArchonAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in frenzymath/Archon, ranked
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | 1.Lean4 A skill your agent uses when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build errors), searching mathlib for lemmas… | frenzymath/ | 223 | — | ~4.2k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
Questions, answered from the data.
What is the best skill in frenzymath/Archon?
Lean4 from frenzymath/Archon ranks first of the 1 skills in frenzymath/Archon listed here, with the highest score: its repository has 223 GitHub stars, its SKILL.md loads about 4.2k tokens and it passes the automated safety check with no findings.
Are the skills in frenzymath/Archon official?
None yet. All 1 skills in frenzymath/Archon listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from frenzymath/Archon?
Run npx skills add frenzymath/Archon in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.