# CODEXA

- **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:** [Kaushika Yadav](https://cerebralvalley.ai/u/kaushika), [Chelvachezhiyan S N](https://cerebralvalley.ai/u/Chezhiyan)
- **GitHub:** https://github.com/CHEZHIYAN0277/Proofix
- **Demo video:** https://www.youtube.com/watch?v=aA1IVhYLzVs
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2087

ProoFix makes AI-generated bug fixes accountable to the failures they are meant to solve. It addresses a critical burden in AI-assisted development: developers must still investigate whether a convincing patch fixes the reported behavior, introduces regressions, or changes more than intended.

Built for Python repositories, ProoFix coordinates specialized agents through a complete repair workflow. They analyze code and dependencies, attempt to reproduce the failure, investigate its cause, map the affected files, and create an ordered repair plan before generating a focused patch.

Each candidate faces multiple checks: target and regression tests, mutation testing that evaluates whether tests detect injected faults, and security scans that compare findings before and after the change. Acceptance-test integrity checks detect whether the test changed after reproduction, keeping validation tied to the original failure.

The evidence also determines what the system does next. A failed check can trigger a revised patch, a narrower repair scope, or renewed investigation. Recovery is bounded, missing checks remain visibly unverified, and unresolved diagnosis concerns require human review—even when tests pass.

Powered by LangGraph orchestration, a FastAPI backend, Redis, and a live React workspace, ProoFix gives developers and open-source maintainers a traceable path from failure to proposed repair. They can inspect the diagnosis, patch, executed checks, and remaining concerns together, then explicitly choose whether to publish an eligible repair as a draft GitHub pull request. Final acceptance stays with the developer.

  
9:02 PM

## More from Meta Global AI Developer Hackathon

- [Jayant Dubey](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2084)
- [TokoMuse](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2085)
- [Monkyfi](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2086)
- [Area2 AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2088)
- [Shah](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2089)
- [Ghost Station](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2090)

---

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