Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL
Sqlsure is a new tool designed to perform deterministic semantic checks on AI-generated SQL queries to prevent logical errors that traditional linters miss. By integrating with existing dbt tests, it ensures that AI-generated code adheres to business logic before execution.
Why it matters
As AI agents increasingly write database queries, tools that prevent silent data corruption are critical for maintaining data integrity in enterprise environments.
AI writes your SQL. sqlsure makes sure it's right.
A query can be perfectly valid, run without error, and return a number that's silently wrong — revenue double-counted by a join, an average summed, a patient identifier exposed. Databases don't catch this. Linters don't catch this. LLMs reviewing their own SQL don't catch this.
sqlsure does — deterministically, in 0.1 ms, before the query runs.
Proof, not promises: we ran sqlsure over the gold answers of the two benchmarks every text-to-SQL model is graded on. 2,568 expert-written queries, 45 flags, zero false alarms — including a BIRD dev gold answer that is provably wrong by 8× from the exact bug class sqlsure targets, and a schema defect now filed upstream .
Get smarter about the news
Sign up free for a feed built around what you actually care about, Dive Deeper research on any story, and the full text of every article.
Create free accountAlready have an account? Sign in