# ProofPatcher

- **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:** [Pratik Bhujel](https://cerebralvalley.ai/u/prateekbhujel)
- **GitHub:** https://github.com/prateekbhujel/ProofPatcher
- **Demo video:** https://youtu.be/1M97CJXeIR4
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1975

ProofPatcher is a Muse-powered GitHub co-maintainer that brings pull request review, issue investigation and evidence-backed patch checks into one workbench. Muse can suggest changes and review pull requests; maintainers can inspect the results and control GitHub actions. Hari coordinates the abilities behind the workflow. The demo shows a focused order-total fixture checked in isolated runs, a bot-authored draft pull request, and a separate protected-branch review and merge. The current verifier covers the included cases rather than arbitrary repositories.

## More from Meta Global AI Developer Hackathon

- [PHISHGUARD AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1972)
- [Md sabbir sikder](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1973)
- [continuum](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1974)
- [Spectra](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1976)
- [Epicenter](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1977)
- [E-Sheba AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1978)

---

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