Last released Jul 20, 2026
Deterministic verification for agent-written SQL. In development by Rune (runedb.io).
Supported by