# ProofLoop_enhanced

- **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:** [Yerbol Sariyev](https://cerebralvalley.ai/u/Yereke)
- **GitHub:** https://github.com/yerbol1212/proofloop
- **Demo video:** https://youtu.be/jMb2Pqi3vwU
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2931

ProofLoop helps developers building visual agents check whether a physical setup satisfies a reviewed requirement. It turns requirements into inspectable checks, evaluates source-bound observations as PASS, FAIL or UNKNOWN, requests missing evidence, and proposes a bounded correction when the observed state supports one. Proposed actions never become measured evidence.

The event-built system combines Meta models with a deterministic checker, freshness and stability rules, durable inspection jobs, bounded follow-ups, recovery receipts, request accounting, a read-only MCP interface and a React workbench.

The 2:50 demo shows live Spark task drafting and a separate 16-call SAM run on owned prerecorded footage under an already approved cutlery contract. That run produces PASS -> FAIL -> UNKNOWN -> PASS. Judges can also explore a key-free public replay across 32 reviewed checkpoints.

This is a bounded placement-verification prototype. The recorded movements predate the planner proposal; an operator-followed correction, robot execution and production reliability remain unvalidated.

## More from Meta Global AI Developer Hackathon

- [Sightloop](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2928)
- [Abu Bakar Siddik](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2929)
- [Cortraders](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2930)
- [Ahmed Mohammed Nagdy](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2932)
- [eternal-drift](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2933)
- [D-Scan](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2934)

---

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