prove-it
Pablo-aps/prove-itSkill
Adversarially verify claims that code, fixes, tests, CI, deployments, logs, or systems are correct, complete, healthy, or safe to merge. Use when asked to prove, verify, validate, confirm, double-check, review the agent's own work, check whether a bug is actually fixed, or decide whether green signals justify a conclusion. Define a falsifiable claim, search for disconfirming evidence, verify outcomes rather than proxies, and return PROVEN, FAILED, NOT PROVEN, or BLOCKED. Do not trigger for ordinary implementation unless verification is requested.
Why this score
Popularity score: 49/100 from public GitHub signals only. It shows how widely used and maintained this is, not how well it works. Not included yet: the fake-star check. The security scan is shown separately and doesn't change the score. How we rank
Security
Scanned Nov 4, 2026 at commit 4c5a6426a620, with Cisco's open-source skill-scanner.
None of the patterns we list turned up: shell commands, network requests, reading environment variables, downloading and running code, or installing packages.
A scan lists patterns in the code. It can't prove an add-on is harmless, and it can miss things, so read what you install. How we scan
Alternatives
Other makers' add-ons that do the same job, next to this one.
| Name | Score | Stars | Context | Updated |
|---|---|---|---|---|
| This oneprove-it Pablo-aps/prove-it · Skill | 49 | ★ 8 | ≈140 always | 3mo ago |
| fable-prove-it DizzyMii/fable-skills · Skill Both about prove and fixed | 59 | ★ 55 | ≈66 always | 29d ago |
| phase5-prove radekamirko/C.R.I.S.P · Skill Both about prove and deployment | 52 | ★ 52 | ≈74 always | 2mo ago |
| prove-the-premise machinesoul11/anti-sycophant-ai-agent-skills · Skill Both about prove | 49 | ★ 33 | ≈155 always | 4mo ago |