# Graspt

- **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:** [M Rizkillah](https://cerebralvalley.ai/u/graspt)
- **GitHub:** https://github.com/automathing/graspt
- **Demo video:** https://www.youtube.com/watch?v=N30y5JxBwjQ
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2268

Graspt is a wrapper around the Lean theorem prover, powered by a Meta AI Muse agent, that bridges inhuman, rote symbolic math into a more intuitive, higher-level view. It's inspired by how suspiciously isomorphic the structure of computation is between sensorimotor coordination and robotic navigation. This is like heavy machinery for mathematicians, amateurs, enthusiasts, and professionals alike.

## More from Meta Global AI Developer Hackathon

- [Kuldeep Singh](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2265)
- [Rhobound-MCP](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2266)
- [OneNeuron](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2267)
- [TRINH VAN PHUC](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2269)
- [LegalLens AI](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2270)
- [Blackcaps](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/2271)

---

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