frenzymath/Archon — Plugins

225Stars on the repository

20Mods indexed here, across every type

2mo agoLast push, which is what freshness is scored on

Apache-2.0Licence, which decides whether bodies are shown

Sort Relevance Recently updated Fewest tokens Security grade Repo stars Stars this week Top rated 1 mods

lean4

frenzymath/Archon

Plugin Claude Code

Bundles 1 skill, 11 commands, 4 agents, 3 hooks · 404 tokens together

Archon's modified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — forked from cameronfreer/lean4-skills.

not rated 224 +1 2mo ago A tokens not measured original Apache-2.0