Your coding agent says "all tests pass". Make it prove it.
Signed ProofPackets, a GitHub Action that fails the build on a fake completion, output guardrails, and agent skills that hold pushes and deploys for your approval.
Coding agents report finished work they never checked. This kit turns every “done” into a signed packet you can verify, and makes CI refuse the ones that don't hold
Three MIT-licensed repos, all passing their own tests in this bundle: proof-studio (252 tests), proof-gate-action (6/6), guardrails (8/8)
Six agent skills for Claude Code, Codex and Cursor: done-claim verification, planted-failure checks, approval before git push and other outward
Inside: 3 repos, 6 skills, and a START-HERE guide with a 15-minute setup.
What's included
- 1 file, yours to keep
- Download the originals, or add them to your own Eden workspace
- Read online any time, on web and phone
- Updates from Mike Rodgers, automatically
Sold by Mike Rodgers
What you get
- proof-gate-kit.zipZIP · 12 MB
What this is
This is Mike Rodgers's work, ready to use.
You get a file Mike Rodgers made, exactly as Mike Rodgers uses them. Open them here, download the originals, or add them to your own Eden workspace and make them yours.
When Mike Rodgers updates them, your copy updates too. Nothing to set up, nothing to install.
Questions
What do I actually get?
The files listed on this page, made by Mike Rodgers. You can read them here, download the originals, or add them to your own Eden workspace.
Do I need an account?
A free Eden account, so your files are always where you left them, on web and phone. It takes a moment and there is nothing to install.
What happens after I buy?
It opens in your Eden account right away. You keep it. When Mike Rodgers updates the files, your copy updates too.
Get Proof Gate Kit
$49 one time. Yours the moment you sign up.
Mike Rodgers
Made by Mike Rodgers, who got tired of agents saying "done".