Detect → attack → prove → AI patch → re-attack → sign. Real engines, real sandbox, real signatures.
CAIN-42 CAIN Studio…
No folder chosen.
Claude proposes a fix. The model never decides: the same witness attacks the patched file, and the fix only counts if every attack is blocked.
| File | Lang | Lines | Findings | Line · check · tier | Control |
|---|
git checkout -b proofloop-evolve git am proofloop-evolve.mbox # one commit per proven fix, each naming its signed record git push -u origin proofloop-evolve # then open a pull request; the commit messages carry the evidence
| Language | Runs | Findings | Attacked | Confirmed | Confirm rate | Median scan | Median witness | Median total |
|---|
| # | When (UTC) | Kind | Source | Lang | Checks | Verdict | Record |
|---|
Every button on this page is a public HTTP call. Responses to /run, /codebase and /fix are Server-Sent Events, one JSON event per line, ending in a signed record.