sqlsure - Deterministic semantic checks for AI-generated SQL
Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL
sqlsure es un inspector semántico para SQL que detecta errores lógicos como doble conteo por joins, violaciones de aditividad, claves de unión incorrectas y fugas de datos sensibles antes de que la consulta se ejecute. A diferencia de los linters tradicionales o de las revisiones de LLMs, sqlsure aplica reglas deterministas y offline basadas en hechos declarados por tu equipo (como tests de dbt o esquemas PK/FK), devolviendo un veredicto en 0.1 ms. Se integra como puerta de CI, servidor MCP para agentes de IA, o librería en productos text-to-SQL. Validado con 2,568 consultas de referencia en benchmarks BIRD/Spider, sin falsos positivos, y ha encontrado errores reales en respuestas 'gold'. Diseñado para que los agentes se auto-corrijan: borrador → revisión → corrección → ejecución.
Una consulta puede ser perfectamente válida, ejecutarse sin errores y devolver un número que está silenciosamente mal — ingresos duplicados por un join, un promedio sumado, un identificador de paciente expuesto. Las bases de datos no detectan esto. Los linters no lo detectan. Los LLMs que revisan su propio SQL no lo detectan. sqlsure lo hace — de forma determinista, en 0.1 ms, antes de que la consulta se ejecute.