# Spartan

- **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:** [Conner Webber](https://cerebralvalley.ai/u/Spartan8806)
- **GitHub:** https://github.com/spartan8806/pqcheck
- **Demo video:** https://youtu.be/ticGY5FEN9M
- **Gallery:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3683

pqcheck is a zero-dependency Python assurance and property-testing tool for post-quantum cryptographic implementations: KEMs, digital signatures, and wire-format codecs. Instead of known-answer tests, it checks metamorphic relations and specification invariants derived from FIPS 203/204 and the Falcon spec: FO implicit-rejection binding and liveness, encoding canonicality, declared-length wrap boundaries, guard-fill bit-exclusion, hint ordering. Every check produces a Claim with one of four verdicts and there is no PASS: NOT_REACHED is never counted as clean, and DEFECT_FOUND requires a reproducer. The problem it solves: PQC libraries are new, and new crypto code has edge cases that slip past normal tests. pqcheck hunts the wrong-length, malformed, and boundary inputs and proves each finding with a standalone reproducer, under the rule that nothing counts until it replays standalone with a control. Written from scratch during the event, October 26 to November 4.

## More from Meta Global AI Developer Hackathon

- [CartProof](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3680)
- [Sketch2Circuit](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3681)
- [Manikyam](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3682)
- [Vinayak](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3684)
- [PentCloud](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3685)
- [Astodev](https://cerebralvalley.ai/e/meta-ai-developer-hackathon/hackathon/gallery/3686)

---

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