) Verifyrefactron / verify
verify your agent's PR.
Before an AI-authored change lands, prove it preserved behavior. Refactron scopes the run to the blast radius, executes your real suite in an isolated shadow tree, and returns a verdict you can stake a merge on.
safeunsafeunproven
verification reportsafe
- verdict
- SAFE
- changed symbols
- 6
- blast radius
- 23 call sites
- coverage
- 6/6 exercised
- suite
- 142 passed · 0 failed
- shadow tree
- isolated · atomic land
- signature
- sha256:9f3c…a10b
The same gate, on an arbitrary diff.
01
PARSE DIFF
Map the changed symbols: agent, codemod, or human.
02
BLAST RADIUS
Trace the import + call graph to everything affected.
03
COVERAGE PREFLIGHT
Is the changed code actually exercised by a test?
04
SHADOW-TREE RUN
Run the scoped suite in an isolated copy of the repo.
05
VERDICT + REPORT
SAFE · UNSAFE · UNPROVEN, with signed evidence.
$
refactron verify --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.