Repository
searlsco/prove_it agent skills
- skills
- 3
- GitHub stars
- 198
GitHub description: “The verification harness that Claude Code should have shipped with”
- Stars
- 198 (10 forks)
- Licence
- MIT
- Last push
- Sep 2026
- Created
- Feb 2026
- shovelware
Install all skills
npx skills add searlsco/prove_itAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in searlsco/prove_it, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Inspect proveit session logs—review history, reviewer verdicts, and session state. | searlsco/ | 198 | — | ~486 | Automated safety check: Pass | MIT | 17 days ago |
| 2 | Test proveit from source against an example project or temp directory. | searlsco/ | 198 | — | ~518 | Automated safety check: Pass | MIT | 17 days ago |
| 3 | Create a temporary real project and prove a proveit feature works (or doesn't) end-to-end. | searlsco/ | 198 | — | ~5.7k | Automated safety check: Pass | MIT | 17 days ago |
Questions, answered from the data.
What is the best skill in searlsco/prove_it?
Session Log from searlsco/prove_it ranks first of the 3 skills in searlsco/prove_it listed here, with the highest score: its repository has 198 GitHub stars, its SKILL.md loads about 486 tokens and it passes the automated safety check with no findings. Next come Test Local and Prove Feature.
Are the skills in searlsco/prove_it official?
None yet. All 3 skills in searlsco/prove_it listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from searlsco/prove_it?
Run npx skills add searlsco/prove_it in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.