Cotterpin

Proof-gated automation for AI coding agents.

A cotter pin is the small part whose only job is to stop something falling apart while it moves. Cotterpin does that for coding agents: it runs them against mechanical gates, so a task counts as done only when evidence says so — not when the agent says so.

Status: name reservation

This 0.0.1 release reserves the name and installs nothing useful. There is no working release yet. Follow https://cotterpin.io for progress.

What it will do

• Run agents against gates that can refuse. Claude Code, Codex, Grok and Gemini, behind one task model.
• Catch what linters cannot — an agent that runs the tests, sees them pass, and reports work as delivered that was never wired up.
• Prove it. Every verdict is backed by a receipt bound to the exact inputs it checked, chained so the history cannot be quietly rewritten.
• Keep your code local. Source, diffs and prompts stay on your machine; only your chosen model provider ever sees your code, under your own account.

Intended usage

pipx install cotterpin

cotterpin install     # user-space runtime, no admin
cotterpin connect     # detect and check your provider CLIs
cotterpin init        # write policy, pin the gate pack, dry-run the gates
cotterpin run <task>  # run the work, gated

Licence

All rights reserved pending a licence decision.