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
Mathlib Quality is the strongest overall pick here because it has a 71/100 readiness score and fits Coding agents.
Strongest overall
Mathlib Quality
Prototype with this skill first; keep a fallback candidate ready.
Fastest prototype
Mathlib Quality
Best first install candidate based on install readiness and adoption.
Freshest repo
Mathlib Quality
Most recent maintenance signal among this shortlist.
| Signal | Mathlib Quality Claude Code skill plugin for cleaning up and bringing Lean 4 code to mathlib standards. |
|---|---|
| Quality | 72/100 Strong |
| Decision verdict | 71/100 Prototype first Prototype with this skill first; keep a fallback candidate ready. |
| Adoption | 27 stars 0 installs |
| Freshness | Jul 30, 2026 |
| Use-case fit | |
| Workflow fit | |
| Platform hints | Shell, Claude Code |
| Warnings | Low GitHub adoption signal · No OpenAgentSkill engagement data yet |
| Best for | Coding agents workflows · Claude Code teams · builders willing to evaluate younger projects |
| Not ideal for | teams that need a vendor-supported SLA · production agents without a repository review |
| OpenAgentSkill engagement | 0 views 0 install copies |
| Install | $ npx skills add CBirkbeck/mathlib-quality |