prove-it

SkillGitHubActiveJavaScript

Open-source adversarial verification Agent Skill for Claude Code, OpenAI Codex, and Cursor. Make AI coding agents prove bug fixes, CI, logs, and deployments.

Description provenance: Original source

Open canonical source

Measured: Oct 23, 2026 · 63 observations

Domains & Uses

Domains: Agents, skills and MCP
Uses: Agent skills, Code assistants

Installation

git clone https://github.com/Pablo-aps/prove-it ~/.claude/skills/prove-it

Check at the source

Compatibility and prerequisites must be checked in the official documentation.

https://github.com/Pablo-aps/prove-it

Classifications

Nature: Tool

Measurement history

Comparable readings are grouped by signal and unit.

Stars

8stars · Oct 23, 2026

-3 (-27.3 %)since Aug 19, 2026

Exact values · 63 readings

Measured	stars	Change
Oct 23, 2026	8	0
Oct 22, 2026	8	0
Oct 21, 2026	8	0
Oct 20, 2026	8	0
Oct 19, 2026	8	0
Oct 18, 2026	8	0
Oct 17, 2026	8	0
Oct 16, 2026	8	0
Oct 15, 2026	8	+1
Oct 14, 2026	7	0
Oct 13, 2026	7	0
Oct 12, 2026	7	0
Oct 11, 2026	7	0
Oct 10, 2026	7	0
Oct 9, 2026	7	0
Oct 8, 2026	7	0
Oct 7, 2026	7	0
Oct 6, 2026	7	0
Oct 5, 2026	7	0
Oct 4, 2026	7	0
Oct 3, 2026	7	0
Oct 2, 2026	7	0
Oct 1, 2026	7	-2
Sep 30, 2026	9	0
Sep 29, 2026	9	0
Sep 28, 2026	9	0
Sep 27, 2026	9	0
Sep 26, 2026	9	0
Sep 25, 2026	9	0
Sep 24, 2026	9	0
Sep 23, 2026	9	0
Sep 22, 2026	9	0
Sep 20, 2026	9	0
Sep 19, 2026	9	0
Sep 18, 2026	9	0
Sep 17, 2026	9	0
Sep 16, 2026	9	0
Sep 15, 2026	9	-2
Sep 14, 2026	11	0
Sep 13, 2026	11	0
Sep 12, 2026	11	0
Sep 11, 2026	11	0
Sep 10, 2026	11	0
Sep 9, 2026	11	-2
Sep 8, 2026	13	-2
Sep 7, 2026	15	0
Sep 6, 2026	15	0
Sep 5, 2026	15	0
Sep 4, 2026	15	0
Sep 2, 2026	15	0
Aug 31, 2026	15	0
Aug 30, 2026	15	0
Aug 29, 2026	15	0
Aug 28, 2026	15	0
Aug 27, 2026	15	0
Aug 26, 2026	15	0
Aug 25, 2026	15	0
Aug 24, 2026	15	0
Aug 23, 2026	15	0
Aug 22, 2026	15	0
Aug 21, 2026	15	0
Aug 20, 2026	15	+4
Aug 19, 2026	11	·