Using Codex and Claude to build a verified SQLite-compatible DB engine
OfirPress · x · 2026-08-18
The author used 100M tokens with Codex and Claude to generate SQLeanite, a verified database engine bidirectionally byte-compatible with SQLite. While it runs 2-10x slower than SQLite, it demonstrates the potential of agents in implementing complex, verified systems.
Related event: AI Writes Lean 4 SQLite-Compatible Database Engine SQLeanite(2 posts)→
More from coding & agent
- Vercel now supports deploying Cursor Origin repositories — evilrabbit_ · 2026-08-18
- agent-talk v0.2.0 lets Codex sessions talk across devices and users via web relay — xhluca · 2026-08-18
- agent-talk: open-source plugin lets coding agents message each other — xhluca · 2026-08-18
- Humanfia tops Lean-Eval with 166 problems solved on under 50k tokens via smart agent flow — YouJiacheng · 2026-08-18
- Dev warns Computer Use runtimes leak full input-messages to the command line — victorlizama · 2026-08-18
- Jacobian: Pure mathematics framework for agents — henloitsjoyce · 2026-08-18