archon-local
01Plugin Claude Code
Plugin marketplace listing 1 plugin: lean4.
212 15d ago A
tokens not measured
original Apache-2.0
212Stars on the repository
21Mods indexed here, across every type
15d agoLast push, which is what freshness is scored on
Apache-2.0Licence, which decides whether bodies are shown
lean4
02Plugin Claude Code
Archon's modified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — forked from cameronfreer/lean4-skills.
212 15d ago A
tokens not measured
original Apache-2.0