Lean 4 theorem proving with guided + autonomous proving, LSP-first workflows, and guardrails
/plugin marketplace add cameronfreer/lean4-skills
/plugin install [plugin-name]@lean4-skills
Unified Lean 4 plugin (formalize, prove, autoprove, checkpoint, review, golf, learn, doctor) — LSP-first, scripts fallback
No description available.
Bundled plugins for Claude Code including Agent SDK development tools, PR review toolkit, and commit workflows
Plugins by Alex Newman (thedotmack)