
π―3Skillsπ3Pluginsπͺ1Marketplaces
146
π―Skills3
π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