Live · 7d

chatgpt-imagegen+14000.0%serenity-skill+3556.5%ky-design-to-html-skill+2660.0%paperjury+425.0%lineage-skill+300.0%cinema-manager+266.7%sprite-gen+218.8%good-question+123.7%i-have-adhd+110.2%codex-ppt-skill+74.8%ultracode-skill+73.9%beautiful-feishu-whiteboard+65.9%general-readme-skill+56.7%TokenBurner+55.3%MoneyAtlas-ClaudeSkill-Agent+50.0%last30days-skill+43.7%ai-shortfilm-prompts+41.4%paper-search-pro+38.2%motion-design-skill+35.8%posterly+32.5%chatgpt-imagegen+14000.0%serenity-skill+3556.5%ky-design-to-html-skill+2660.0%paperjury+425.0%lineage-skill+300.0%cinema-manager+266.7%sprite-gen+218.8%good-question+123.7%i-have-adhd+110.2%codex-ppt-skill+74.8%ultracode-skill+73.9%beautiful-feishu-whiteboard+65.9%general-readme-skill+56.7%TokenBurner+55.3%MoneyAtlas-ClaudeSkill-Agent+50.0%last30days-skill+43.7%ai-shortfilm-prompts+41.4%paper-search-pro+38.2%motion-design-skill+35.8%posterly+32.5%

Skill Leaderboard

← Leaderboard

lean4-skills

by cameronfreer

Lean 4 theorem proving skill and workflow pack for AI coding agents

View on GitHub ↗

Star history · 30 days

254 → 286

Traction

Traction is a custom score that blends recent GitHub signals to estimate how much attention a skill is actually gaining.

Learn more in Methodology

Active65/100

May 13May 23Jun 2Jun 12

Velocity

Last 7 days+6 (+2.1%)

Last 30 days+32 (+12.6%)

First star8mo ago

Stars per day1.2

Forks35 · 7d 0.0%

Watchers7 · 7d 0.0%

Repo signals

Commits (30d)10

Contributors10

Last push20d ago

LicenseMIT

LanguageShell

Integrations

CLAUDE.mdNo

AGENTS.mdNo

MCPNo

HooksYes

Compatible agents

Claude Code

Related in Tools

software-design-philosophy-skill

llm-sast-scanner

tufte-claude-skill

linus-torvalds-skills