sqlsure - Deterministische semantische SQL-Prüfung für KI-generierte Abfragen
Show HN: Sqlsure – deterministic semantic checks for AI-generated SQL
sqlsure ist ein semantischer Inspektor für SQL, der KI-generierte Abfragen auf subtile Fehler prüft, bevor sie ausgeführt werden. Es erkennt Fan-out-Doppelzählungen, Additivitätsverletzungen, falsche Join-Schlüssel und Richtlinienverstöße – deterministisch, offline und in 0,1 ms. Die Regeln basieren auf vorhandenen dbt-Tests oder einfachen PK/FK-Deklarationen, sodass keine neue Sprache oder manuelle Modellpflege nötig ist. sqlsure bietet eine CI-Integration, einen MCP-Server für KI-Agenten und eine Python-Bibliothek. In Tests mit 2.568 Experten-SQL-Abfragen aus den BIRD/Spider-Benchmarks wurden 45 echte Fehler gefunden, ohne falsche Alarme. Jede Ablehnung enthält einen maschinenlesbaren Fix, sodass Agenten sich selbst reparieren können.
Beweis, nicht Versprechen: Wir haben sqlsure über die Gold-Antworten der beiden Benchmarks laufen lassen, an denen jedes Text-zu-SQL-Modell gemessen wird. 2.568 Experten-Abfragen, 45 Flags, null Fehlalarme.