lean - Develop and verify Lean 4 artifacts
Repairs proofs, develops theorems and verified programs, models systems, diagnoses Lean projects, and audits trust boundaries.
Tags
Updated: 2026-09-30Capabilities
Typical Inputs
Typical Outputs
What this skill does
- Repair Lean proofs
- Develop Lean theorems
- Verify pure programs
- Model external behavior
- Verify state transitions
- Prove termination
- Diagnose Lake projects
- Audit trust boundaries
Inputs
- Lean source files
- Theorem statements
- Project configuration
- Lean toolchain
- Dependency manifests
- Build commands
- Verification requirements
Outputs
- Checked Lean artifacts
- Proof repairs
- Theorem definitions
- Verified models
- Build diagnostics
- Trust audit findings
Requirements
- Lean 4 environment
- Pinned project toolchain
- Lake project dependencies
- Required imported libraries