Skip to Main Content

Repair Proof

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

Demo video · github.com/…

Repair Proof is an evidence-first review workspace for bounded Python repair proposals. A repair proposal is not proof. Pick an authored failing Python fixture, inspect redacted evidence, and review a repair proposed by Meta's model (muse-spark-1.3 via the Meta Model API, strict JSON Schema output). The proposal is checked independently against its exact path, original hash, edit size, and a restricted set of allowed Python syntax. Optionally, before/after runs in an isolated Docker container check that the original fails and the replacement passes the same unchanged test. You can download a review packet that can be verified offline. The corpus has 12 repairable and 8 adversarial synthetic fixtures (4 held out); it is not a benchmark of general repair quality, and unmeasured metrics stay null. Not affiliated with Meta.

Team