Marketplace

lean4-skills

Lean 4 theorem proving with guided + autonomous proving, LSP-first workflows, and guardrails

Stars

116

Forks

Plugins

Installation

Add the marketplace

/plugin marketplace add cameronfreer/lean4-skills

Install plugins

/plugin

Run these commands in Claude Code to add this plugin to your environment. The marketplace must be added before you can install its plugins.

GitHub Repository

cameronfreer/lean4-skills

Plugins

Skills

Agents

Owner

@cameronfreer

View GitHub Profile

Last Crawled

February 15, 2026

Plugin

Unified Lean 4 plugin (prove, autoprove, review, golf, checkpoint) — LSP-first, scripts fallback

Plugin

Lean 4 workflows (skills + commands)

Plugin

Persistent memory integration for Lean 4 formalization

Plugin

Specialized subagents for Lean 4 development