# Repair Proof

- **Event:** [Meta Global AI Developer Hackathon](https://cerebralvalley.ai/e/meta-ai-developer-hackathon)
- **When:** Oct 26, 12:00 PM – Nov 4, 9:00 PM (EST)
- **Where:** Online
- **Team:** [Mangesh Raut](https://cerebralvalley.ai/u/mbr63)
- **GitHub:** https://github.com/mangeshraut712/repair-proof
- **Demo video:** https://github.com/mangeshraut712/repair-proof/releases/download/v0.1.0-recorded-evidence-demo/repair-proof-demo-recorded-evidence-review-2026-11-03-layout-fixed-62s.mp4
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1078

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.

## More from Meta Global AI Developer Hackathon

- [Talla](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1075)
- [Opportunity-Compass](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1076)
- [SafePath AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1077)
- [Nurul Amin Khondoker](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1079)
- [ASSERTARA](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1080)
- [GhostRep](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1081)

---

Markdown version of https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1078. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt