lean4-skills
01Plugin Claude Code
Plugin marketplace listing 2 plugins: lean4, lean4-contribute.
418 6d ago A
tokens not measured
original MIT
418Stars on the repository
26Mods indexed here, across every type
6d agoLast push, which is what freshness is scored on
MITLicence, which decides whether bodies are shown
Plugin Claude Code
Draft and submit bug reports, feature requests, and insights for lean4-skills as GitHub issues. Commands may share Lean code snippets with GitHub — review every draft before confirming.
418 6d ago A
tokens not measured
original MIT
lean4
03Plugin Claude Code
Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback.
418 6d ago A
tokens not measured
original MIT