integ

Use this skill only when the user explicitly invokes integ.

Goal

Keep integration harnesses out of the product repo. Each project gets a separate git repo at ~/integ/<project> with this shape:

AGENTS.md
proof/
  1/
scripts/

The integration repo is for harness code, fixtures, runner scripts, and proof artifacts. The associated source repo stays in its normal checkout elsewhere on disk.

Bootstrap Workflow