cameronfreer/lean4-skills — Plugins

465Stars on the repository

25Mods indexed here, across every type

19d agoLast push, which is what freshness is scored on

MITLicence, which decides whether bodies are shown

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

lean4-contribute

cameronfreer/lean4-skills

Plugin Claude Code

Bundles 3 commands · 43 tokens together

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.

not rated 465 +2 19d ago A tokens not measured original MIT

lean4

cameronfreer/lean4-skills

Plugin Claude Code

Bundles 1 skill, 12 commands, 4 agents, 3 hooks · 423 tokens together

Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, disprove, checkpoint, review, refactor, golf, learn, diagnose) — LSP-first, scripts fallback.

not rated 465 +2 changed 19d ago A tokens not measured original MIT