Skill comparison
Compare agent skills before installing.
Put high-signal skills side by side and inspect quality, adoption, freshness, install readiness, use-case fit, and warnings in one place.
Comparing 1 skill
Use this as a shortlist, then open the skill detail page before adopting.
Decision summary
ReProver is the strongest overall pick here because it has a 41/100 readiness score and fits RAG and knowledge.
Strongest overall
ReProver
Do a manual repository review before adding this to an agent workflow.
Fastest prototype
ReProver
Best first install candidate based on install readiness and adoption.
Freshest repo
ReProver
Most recent maintenance signal among this shortlist.
| Signal | ReProver Retrieval-Augmented Theorem Provers for Lean |
|---|---|
| Quality | 51/100 Needs review |
| Decision verdict | 41/100 Needs manual review Do a manual repository review before adding this to an agent workflow. |
| Adoption | 326 stars Verified outcomes are shown on each skill page |
| Freshness | Jan 30, 2025 |
| Use-case fit | |
| Workflow fit | |
| Platform hints | Python, Machine Learning, Claude Code |
| Warnings | Repository looks stale · No OpenAgentSkill engagement data yet |
| Best for | RAG and knowledge workflows · Claude Code teams · builders willing to evaluate younger projects |
| Not ideal for | teams that require actively maintained dependencies · production agents without a repository review |
| OpenAgentSkill engagement | 0 views 0 install copies |
| Install | $ npx skills add lean-dojo/ReProver |