# Sqlsure：给 AI 写的 SQL 做确定性语义检查，上线前揪出重复计数、关联键用错这类硬伤

> 原标题：Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL

- 来源：Hacker News 首页
- 发布时间：2026-07-11T20:03:42.000Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/43817
- 原文：https://github.com/sqlsure/sqlsure

## 摘要

Sqlsure 是一个专门检查 AI 生成 SQL 语义错误的工具，不靠概率猜，直接按规则判断。它能抓出几种常见的坑：表连接时行数意外膨胀导致重复计数、聚合结果不满足可加性、关联键用错、以及违反数据权限策略的查询。作者拿它在 BIRD 和 Spider 这两个主流 text-to-SQL 评测集上跑了一遍，发现了真实存在的语义 bug，说明现有基准测试...

## 推荐理由

Sqlsure 这个工具抓的是 AI 生成 SQL 里那种“看着像那么回事，一跑就错”的语义 bug，比如 join 完行数莫名变多、聚合结果对不上。它不搞概率那一套，直接上规则判断，还在 BIRD 和 Spider 上验出了真问题，说明现有评测集可能漏了不少坑。我会先打个折：这东西对做数据管线的人很实用，但话题本身偏硬，出圈概率低，所以 R 轴没给分。整体 72 分放在 featured 档，合理。

## 锐评

Sqlsure 做的事很直接：它不猜，而是按预设规则去查 AI 生成的 SQL 有没有犯低级但后果严重的语义错误。比如表连接时行数意外膨胀导致重复计数、聚合结果对不上、关联键用错、或者查询越权。作者拿它在 BIRD 和 Spider 这两个常用的 text-to-SQL 评测集上跑，确实找到了真实存在的语义 bug，说明现有基准测试漏掉了一类错误。

不过正文没披露几个关键数字：到底能检出多少比例的语义错误，误报率有多高，以及跑一次检查要花多少额外时间。这些数据直接决定它能不能被塞进生产流程里当自动门禁。另外，工具目前看起来更像一个概念验证，没提对复杂嵌套查询或不同 SQL 方言的支持程度。如果它能给出具体场景下的检出率和延迟，对想用的人会更有说服力。