Buildebate
Built at Meta Global AI Developer Hackathon · Oct 26, 2026 · Remote

AI coding agents ship green pull requests with the bug still inside. They learn to satisfy tests instead of fixing code — reward hacking — and no amount of prompting fixes an agent that can't verify itself. HackProof AI is a zero-trust verification engine that proves every patch red-to-green, or rejects it. A GitHub issue becomes a failing regression test synthesized by Muse Spark; a 6-role asymmetric debate (Spark builders vs. Wonder judge) converges on a minimal patch; the full suite must go green in an isolated worktree while a SHA-256 guard proves existing tests are byte-identical to baseline. The result ships as a verified PR with a badge and a cryptographic passport — via CLI or a 3-line GitHub Action. Measured honesty, not vibes: 9/12 fixes on a polyglot benchmark (75% true fix rate), 0 reward-hacking violations across 22 evaluated patches, ≈$1.55 per verified issue — all reproduced from a SHA-pinned evidence dossier by a one-command integrity verifier. Links: GitHub — https://github.com/Buildebate/hackproof-ai · PyPI (pip install hackproof-ai) — https://pypi.org/project/hackproof-ai/ · License: Apache-2.0