Sqlsure - Deterministic semantic checks for AI-generated SQL
Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL
Sqlsure는 AI가 생성한 SQL 쿼리가 문법적으로 올바르더라도 데이터 집계의 오류(예: 조인으로 인한 이중 계산, 합계 불가 측정값의 SUM, 잘못된 조인 키)나 정책 위반(민감한 데이터 노출)을 쿼리 실행 전에 결정적으로 탐지하는 오픈소스 도구입니다. dbt의 unique/relationships 테스트, PK/FK 선언, 또는 데이터베이스 스키마에서 규칙을 자동으로 추출하며, 0.1ms 만에 오프라인으로 동작합니다. CI 게이트, MCP 서버, 라이브러리 형태로 통합할 수 있어 AI 에이전트가 스스로 오류를 수정하고 안전하게 SQL을 실행하도록 돕습니다. BIRD/Spider 벤치마크의 2,568개 전문가 쿼리를 검증하여 45건의 오류를 발견했지만 오탐은 없었습니다.
SQL 쿼리가 완벽하게 유효하고 오류 없이 실행되더라도, 조인으로 인해 매출이 두 배로 계산되거나 평균이 잘못 합산되거나 환자 식별 정보가 노출될 수 있습니다. 데이터베이스도, 린터도, LLM도 이를 잡아내지 못합니다. sqlsure는 쿼리 실행 전에 결정적으로, 0.1ms 만에 이를 잡아냅니다.