Bring your project. See what fails. Decide what changes.
ProofRun asks Bob how your software works, prepares an isolated environment, and exercises real behavior. Every failure has evidence. Every source change needs your approval.
Upload any source type. Execution depends on an available Linux runtime and the services your project needs. Unsupported requirements are reported.
Analysis will appear here after Bob reads your project.
Detected from your source files, including tests and examples. Expand a language to see Bob's explanation or its source files.
Tests run on isolated copies. Approved patches update this workspace's source; download the working copy to take changes back to your original project.
Inspect the evidence and diffs. Edit or reject individual proposals, then use Approve & repair all above to apply the remaining changes.
Real inputs, observed outcomes, and exact reproduction sequences.
Setup, build, commands, runtime output and pipeline events.
The original tests are preserved. New failures are tracked as regressions.