# ProofHunter

- **Event:** [AIE Code Summit 2026 Hackathon](https://cerebralvalley.ai/e/aie-code-2026-hackathon)
- **When:** Sat, Nov 7 at 9:00 AM – 10:00 PM (PST)
- **Where:** San Francisco, CA
- **Team:** [Peyton Li](https://cerebralvalley.ai/u/peli)
- **GitHub:** https://github.com/PeytonLi/ProofHunter
- **Demo video:** https://www.loom.com/share/b00aec8bc8e243a78f6fc26aee3e6057
- **Gallery:** https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/59

AI-generated code can look correct while hiding subtle bugs that are easy to miss in review. ProofHunter helps maintainers check whether a pull request breaks expected behavior by testing the original and changed code in isolated sandboxes. When it finds a defect, it returns a reproducible input and an evidence receipt showing what failed, so developers can assess the change with concrete results.

## More from AIE Code Summit 2026 Hackathon

- [AIZOYA](https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/56)
- [Moscoso Intelligence](https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/57)
- [adaptmach](https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/58)
- [ReflexQA](https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/60)
- [LAZARUS-TWIN](https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/61)
- [Sift](https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/62)

---

Markdown version of https://cerebralvalley.ai/e/aie-code-2026-hackathon/hackathon/gallery/59. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt