lean-skills — tool profile and history
Seven skills, split by what you are actually doing rather than by topic. A "tactics" skill and a "Mathlib" skill both fire on every task, and neither tells the agent what to do next. These fire one at a time.
- Language
- Python
- License
- Apache-2.0
- Created
- Last activity
- Topics
- agent-skills
- claude-code
- claude-code-skills
- formal-verification
- lean4
- mathlib
- theorem-proving
Install git clone https://github.com/matt-w-horn/lean-skills ~/.claude/skills/lean-skills
Current measurement
1GitHub starsstable
measured growthMomentum uses available readings from the last 7 days: measured with at least two comparable readings, estimated otherwise.
Reading history
| Date | Value | Metric |
|---|---|---|
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars | |
| 1 | GitHub stars |
Classifications
- Domains
- Type
- Agent skills
- Use cases
Neighbouring tools
These entries declare the same topics. No similarity is inferred: only the shared topics are stated.