cameronfreer/lean4-skills

7 resources in this repository

🎯3Skills🔌3Plugins🏪1Marketplaces

146

🎯Skills3

A Claude Code plugin for automated Lean 4 theorem proving, offering guided cycle-by-cycle and autonomous multi-cycle proving commands for formal mathematics.

lean4

🎯lean4-theorem-proving🎯Skill

Skill

lean4-theorem-proving

🎯lean4-memories🎯Skill

Skill

lean4-memories

🔌Plugins3

🔌lean4-memories🔌Plugin

Plugin

🔌lean4-theorem-proving🔌Plugin

Claude Code plugin for automated Lean 4 theorem proving with guided and autonomous proving commands. Includes sorry-filling, proof optimization (golf), quality review, and verified checkpoint workflows.

🔌lean4-subagents🔌Plugin

Plugin

🏪Marketplaces1

🏪cameronfreer-lean4-skills🏪Marketplace

Enables Claude to systematically develop, analyze, and automate formal mathematical proofs in Lean 4 through integrated theorem proving commands, specialized agents, and workflow tools.

plugins:3communitycommands

Back to Home