PRProof

AI writes code faster than teams can check it. PRProof is an independent verifier for AI-written pull requests: instead of asking you to trust the code or the review, it shows executed proof. Paste any public PR link. PRProof explains the change in plain English, scores it on nine review categories (security, error handling, API compatibility, tests and more) with SubQ Snap 1.1, investigates the flagged areas, then writes its own test with Gemini and runs it in a sandbox. If the test fails, the finding is "proven" and the verdict is "Needs changes", backed by the failing output and the spec clause it breaks. Anything it can't execute is labelled a heads-up, never claimed as proven. A proven failure also sets a prproof/verify GitHub commit status, so branch protection can block the merge. Around that core: Explore: type any GitHub owner and see their repos as a map, with categories proposed from that owner's repos and each repo placed by SubQ's decision model with a confidence score. Pull requests: every open PR across an owner, grouped by repo, typed and ranked by how much review it needs (SubQ decisions). Build: describe a feature or pick an open issue. PRProof derives requirements, writes tests first and shows them failing, implements until they pass, runs an independent inspection, and opens a PR with an evidence table. With no write access it forks. No specs folder is required.