# Shahid Team

- **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:** [Shahid Gujar](https://cerebralvalley.ai/u/shahidgujar)
- **GitHub:** https://github.com/Shahid22Gujar/intent-to-proof-compiler.git
- **Demo video:** https://www.loom.com/share/3107f90a1ffa4b7e9f1c2356477ad48c
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4615

Intent-to-Proof Compiler turns a screen recording plus one sentence of
  plain-English intent into a human-reviewed behavioral contract, then proves it
  by running fixed Playwright checks against real backend state — catching bugs
  click-replay tests miss, like double charges on duplicate checkout
  submissions.

## More from Meta Global AI Developer Hackathon

- [Weed Scout](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4612)
- [Vinay Guda](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4613)
- [dowhile team](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4614)
- [FlowTopo](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4616)
- [Matcha_strawberry](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4617)
- [Penumatcha Jaya Surya (Solo)](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/4618)

---

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