# Masora

- **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:** [Daniel Guchie](https://cerebralvalley.ai/u/dguchie)
- **GitHub:** https://github.com/dguchie/shaar
- **Demo video:** https://youtu.be/aHSwcOMxXig
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1660

Sha'ar is a working, bounded prototype for verifying AI-proposed infrastructure patches. Such patches can look correct while breaking older environments. Meta Muse Spark proposed a PostgreSQL TLS key-exchange change; an independent deterministic gate built and tested it against two OpenSSL versions, observed actual TLS negotiations, and accepted it after all 21 mandatory checks passed. A separate Muse Spark Open proposal failed compatibility checks and was rejected. Each verdict links to inspectable evidence.

## More from Meta Global AI Developer Hackathon

- [Harsh](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1657)
- [ZabSoft](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1658)
- [VisorQA](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1659)
- [Magoro Smart Systems](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1661)
- [Nepalese Developer](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1662)
- [WellPilot](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/1663)

---

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