lean4-skills

A collection of Lean-specific skills and workflows for AI coding agents.

• Developer / Organization: Cameron Freer and contributors
• Category: Open-source skills & interfaces
• Purpose: Guide coding agents through disciplined Lean proof development.
• Key features: Lean-specific instructions and proof-development workflows for coding agents.
• Availability: Open-source software; MIT
• License: MIT (source (opens in a new tab))
• Website / Source code: https://github.com/cameronfreer/lean4-skills (opens in a new tab)
• Version: GitHub release v4.11.4
• Version source: Official release or documentation (opens in a new tab)
• Last checked: 2026-11-01