# PolicyProof

- **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:** [Ayushman Solanki](https://cerebralvalley.ai/u/mcthic_2125)
- **GitHub:** https://github.com/mcthic-lab007/PolicyProof
- **Demo video:** https://youtube.com/shorts/-ACR_2Wh-zs
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2623

I built PolicyProof around a simple question: what if AI could help us find bugs in software, but we never had to blindly trust the AI to tell us whether a bug was real?

PolicyProof takes a written policy and a software implementation, then uses Meta Muse Spark to interpret the policy and suggest test cases. The system independently checks the implementation against the expected behavior and identifies where they disagree.

I wanted to go beyond simply asking an AI to review code and hoping its answer was correct. PolicyProof combines the reasoning capabilities of Muse Spark with deterministic verification, so every confirmed discrepancy is backed by evidence.

The idea is simple: Muse proposes. PolicyProof verifies.

I built this as a solo developer, exploring how AI reasoning and software verification can work together to make software more trustworthy.

## More from Meta Global AI Developer Hackathon

- [TWINIX](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2620)
- [SmalsaLab](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2621)
- [Danna Team](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2622)
- [Promptimize](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2624)
- [Save floods](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2625)
- [Maya's era](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2626)

---

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