← All publishers

leanprover

6 skillsAvg Trust: 507.6k total stars
Repositories (3)
leanprover/lean47.5k stars1 skillleanprover/skills74 stars4 skillsleanprover/verso-blueprint1 skill
6 skills
lean4
Scanned
leanprover/lean4
Trust: 707.5k starsleanprover/lean4v1.0.07mo ago
lean-setup
Scanned
leanprover/skills
Trust: 4046 starsleanprover/skillsv1.0.01mo ago
mathlib-build
Scanned
leanprover/skills
Trust: 4046 starsleanprover/skillsv1.0.01mo ago
lean-proof
Scanned
Use when asked to prove something in Lean. Covers one-step-at-a-time proving, error priority, working on the hardest case first, p...
Trust: 40leanprover/skillsv1.0.01d ago
nightly-testing
Scanned
Understanding the Lean/Mathlib nightly testing infrastructure. Use when working on toolchain bumps, adaptation PRs, or investigati...
Trust: 4074 starsleanprover/skillsv1.0.03d ago
verso-blueprint
Scanned
Work with Verso Blueprint Lean projects. Use when Codex needs to build or serve Blueprint HTML, query Blueprint labels/dependencie...
Trust: 67leanprover/verso-blueprintv1.0.0today
All 6 skills loaded