Sqlsure - Deterministic semantic checks for AI-generated SQL

Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL

Sqlsureは、AIが生成したSQLの意味的な正しさを、クエリ実行前に決定的に検証するオープンソースのセマンティックインスペクターです。ファンアウトによる二重計上、加算性違反、誤った結合キー、ポリシー違反などを、0.1ミリ秒で検出します。dbtのテスト定義やデータベースのカタログからルールブックを自動生成し、LLMに依存しないため、同じ入力には常に同じ判定を返します。CIゲート、MCPサーバー、ライブラリとして利用でき、AIエージェントの自己修復ループ（draft→check→fix→check→execute）を実現します。BIRD/Spiderベンチマークのゴールドクエリ2,568件を監査し、45件のフラグをゼロ誤検知で検出しました。