# Theseus

- **Event:** [Gemini 4 Argon SF Hackathon](https://cerebralvalley.ai/e/gemini-4-argon-sf)
- **When:** Sun, Oct 25 at 9:00 AM – 10:00 PM (PDT)
- **Where:** San Francisco, CA
- **Team:** [Edan Barrios Idrugo](https://cerebralvalley.ai/u/edanbarrios), [Brendan Keane](https://cerebralvalley.ai/u/Squeeeks), [Keon Amid](https://cerebralvalley.ai/u/Keon1)
- **GitHub:** https://github.com/EdanBarrios/argon-hackathon.git
- **Demo video:** https://youtu.be/OqdBqDwA-PM?si=14udcSo6niEMWv_x
- **Gallery:** https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery
- **Page:** https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/114

Memory bugs in C parsers keep turning into critical vulnerabilities, and everyone agrees that code should move to Rust. Few teams migrate, because nobody can show the rewrite behaves the same. Theseus doesn't ask the model whether the port works. Gemini 4 Argon translates the C library into safe Rust (#![forbid(unsafe_code)], no dependencies, no way to call the C). Then a deterministic verifier runs the original and the replacement on the same inputs and compares every output byte. Each difference goes back to Argon as a pattern to repair, and compiler errors go back the same way. The final build is checked again on held-out inputs the model never saw. A person approves, and a managed agent opens a pull request carrying the code and the verifier's evidence report.

## More from Gemini 4 Argon SF Hackathon

- [Argon Arcade](https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/111)
- [ArgonPulse](https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/112)
- [You Can Be a Founder](https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/113)
- [Revive](https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/115)
- [Doorway](https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/116)
- [Gemini Argon for the win](https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/117)

---

Markdown version of https://cerebralvalley.ai/e/gemini-4-argon-sf/hackathon/gallery/114. Site index for agents: https://cerebralvalley.ai/llms.txt · full text: https://cerebralvalley.ai/llms-full.txt