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 4 skills
Use this as a shortlist, then open the skill detail page before adopting.
Decision summary
Infer is the strongest overall pick here because it has a 100/100 readiness score and fits Coding agents.
Strongest overall
Infer
Use this as a leading candidate, then validate the README and install path in your own agent stack.
Fastest prototype
Infer
Best first install candidate based on install readiness and adoption.
Freshest repo
Semgrep
Most recent maintenance signal among this shortlist.
| Signal | Pyre Check Performant type-checking for python. | Semgrep Lightweight static analysis for many languages. Find bug variants with patterns that look like source code. | Infer A static analyzer for Java, C, C++, and Objective-C | Ikos Static analyzer for C/C++ based on the theory of Abstract Interpretation. |
|---|---|---|---|---|
| Quality | 100/100 Excellent | 100/100 Excellent | 100/100 Excellent | 100/100 Excellent |
| Decision verdict | 100/100 Production-ready Use this as a leading candidate, then validate the README and install path in your own agent stack. | 100/100 Production-ready Use this as a leading candidate, then validate the README and install path in your own agent stack. | 100/100 Production-ready Use this as a leading candidate, then validate the README and install path in your own agent stack. | 100/100 Production-ready Use this as a leading candidate, then validate the README and install path in your own agent stack. |
| Adoption | 7.2K stars 0 installs | 16K stars 0 installs | 16K stars 0 installs | 3.2K stars 0 installs |
| Freshness | Jun 15, 2026 | Jun 16, 2026 | Jun 13, 2026 | May 31, 2026 |
| Use-case fit | ||||
| Stack fit | ||||
| Platform hints | OCaml, Static Analysis, Claude Code | OCaml, Static Analysis, Claude Code | OCaml, Static Analysis, Claude Code | C++, Static Analysis, Claude Code |
| Warnings | No OpenAgentSkill engagement data yet | No OpenAgentSkill engagement data yet | No OpenAgentSkill engagement data yet | No OpenAgentSkill engagement data yet |
| Best for | Coding agents workflows · Claude Code teams · teams that value GitHub adoption signals | Coding agents workflows · Claude Code teams · teams that value GitHub adoption signals | Coding agents workflows · Claude Code teams · teams that value GitHub adoption signals | Coding agents workflows · Claude Code teams · teams that value GitHub adoption signals |
| Not ideal for | teams that need a vendor-supported SLA · high-compliance environments without internal security review | teams that need a vendor-supported SLA · high-compliance environments without internal security review | teams that need a vendor-supported SLA · high-compliance environments without internal security review | teams that need a vendor-supported SLA · high-compliance environments without internal security review |
| OpenAgentSkill engagement | 0 views 0 install copies | 0 views 0 install copies | 0 views 0 install copies | 0 views 0 install copies |
| Install | $ npx skills add facebook/pyre-check | $ npx skills add semgrep/semgrep | $ npx skills add facebook/infer | $ npx skills add NASA-SW-VnV/ikos |