) 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
Try it before anyone else
The MCP server and CI gate are being built in the open. Come shape them.
No spam, just the verification layer, early. By joining you agree to our Privacy Policy.