Engineers who want to install ProofKit, initialize a repository, run a governed change, and verify real execution evidence.
ProofKit adds a repository-native workflow around AI-assisted development. It stores change state on disk, requires explicit phase transitions, and blocks completion claims that are not backed by executed evidence.
Use one of these:
uv tool install proofkit-cli
pipx install proofkit-cli
If your team prefers Node-based onboarding:
npm install -g proofkit
npx -y proofkit@latest version
From the target repository:
proofkit init --root .
proofkit validate --root .
Expected outcome:
.sdd/ is created