searlsco/prove_it

The verification harness that Claude Code should have shipped with

These files are searlsco/prove_it's own configuration. They tell Claude Code, Codex and OpenCode how to work on this repository, so they are not mods to install elsewhere. Copy one as a starting point and replace the parts that are about this project.

199Stars on the repository

6Files it configures its agents with

1,926Tokens loaded in every session

3Agents configured

Instructions

prove_it AGENTS.md AGENTS.md A 545 tok
prove_it CLAUDE.md CLAUDE.md B 1,381 tok

Skills

prove-feature .claude/skills/prove-feature/SKILL.md A 81 tok
release .claude/skills/release/SKILL.md A 29 tok
session-log .claude/skills/session-log/SKILL.md A 39 tok
test-local .claude/skills/test-local/SKILL.md D 33 tok