Zeppelin

Zeppelin is a production-grade, S3-native vector search engine built entirely by Claude Opus 4.6 in long-running agentic sessions. 21,000 lines of Rust, 451 tests, 26 TLA+ formal proofs for a complete distributed systems architecture. Opus autonomously planned, implemented, debugged, and iterated for hours at a stretch, discovering invisible concurrency bugs through probabilistic reasoning (computing exact failure distributions across namespaces), writing TLA+ specs that caught bugs and races no test could find and uncovered framework-level precision bugs in Rust's serde library. In the end we have a working database that stores vectors in S3, scales horizontally with zero coordination with performance in the same order of magnitude as that of mature database companies. Check it out at https://zepdb.github.io/ I have hosted a Zeppelin instance with an embedding endpoint for everyone to play around with. Install it as a skill by doing: "curl -sL https://zepdb.github.io/install.sh | sh"