# AgentQED

- **Event:** [Zero to Agent: Vercel x Deepmind Hackathon SF](https://cerebralvalley.ai/e/zero-to-agent-sf)
- **When:** Sat, Mar 21 at 9:00 AM – 10:00 PM (PDT)
- **Where:** Shack15, San Francisco, CA
- **Team:** [Sankaranarayanan Subbayya](https://cerebralvalley.ai/u/Sankar)
- **GitHub:** https://github.com/gsankar967/AgentQED.
- **Demo video:** https://www.youtube.com/watch?v=-z7nu3SAzwU
- **Gallery:** https://cerebralvalley.ai/e/zero-to-agent-sf/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/zero-to-agent-sf/hackathon/gallery/44

AgentQED is an AI agent that verifies mathematical proofs. You give it a proof — typed, spoken, or handwritten on paper — and it tells you whether your proof is actually correct by running it through a real theorem prover.

---

Markdown version of https://cerebralvalley.ai/e/zero-to-agent-sf/hackathon/gallery/44. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt