lean4-skills
Lean 4 theorem proving skill and workflow pack for AI coding agents
cameronfreer/lean4-skills
View on GitHub ↗Lean 4 theorem proving skill and workflow pack for AI coding agents
lean4-skills grew +5.1% in the last 30 days, ranks 986th of 2,590 in Agent SDK / Framework, actively maintained, last commit 3 days ago.
Star trajectory
116 days tracked2026-07-02471 stars today2026-10-26
Momentum
+5.1% in 30d, above the Agent SDK / Framework median of +1.5%.
Maintenance
Last commit 3 days ago, fresher than the median of 14d.
How it compares in Agent SDK / Framework
lean4-skills
471
stars
+5.1% 30d
commit 3 days ago
Agent SDK / Framework median
310
stars
+1.5% 30d
commit ~14d ago
Leader · rea
388.5k
stars
+93516.9% 30d
commit today
Ranked 986th of 2,590 by stars.
AgentSkillOS/SkillAnything472-1xr843/Master-skill472-1
cameronfreer/lean4-skills471
professorpalmer/Puppetmaster471+0AmeNetwork/aser469+2- Language
- Python
- License
- MIT License
- Contributors
- 14
- Forks
- 46
- Watchers
- 7
- Open issues
- 18
- Releases
- 36
- Created
- 2025-10-17
- Stars this week
- +6
You've seen where lean4-skills stands today.
Get the moves before everyone else: the 5 Agent SDK / Framework repos climbing fastest, every Tuesday.
Free weekly digest. Double opt-in, unsubscribe anytime.