) Verifyrefactron / verify
verify your agent's PR.
Before an AI-authored change lands, prove it preserved behavior. Refactron applies the diff in an isolated shadow tree, runs your real suite there, then checks whether those tests actually executed the lines that changed.
safeunsafeunproven
verification reportsafe
- verdict
- SAFE
- changed symbols
- 6
- gates
- syntax · imports · suite
- suite
- 142 passed · 0 failed
- coverage
- 6/6 changed lines exercised
- shadow tree
- isolated · your tree untouched
- report
- reproducible
The same gate, on an arbitrary diff.
01
PARSE DIFF
Map the changed symbols: agent, codemod, or human.
02
SHADOW TREE
Apply the diff to a throwaway copy. Your tree is never touched.
03
THREE GATES
Syntax, then imports, then your real test suite.
04
ATTRIBUTION
Did a test that ran actually execute the changed lines?
05
VERDICT + REPORT
SAFE · UNSAFE · UNPROVEN, with the evidence behind it.
$
refactron verify-diff . --diff agent.patch) get early access
Verify your agent's PRs
before anyone else.
The MCP server and CI gate are being built in the open. Join as a design partner and shape the trust layer your team will run.
No spam, just the verification layer, early. By joining you agree to our Privacy Policy.