sqlsure — скилл
sqlsure проверяет SQL по заявленным фактам схемы и ловит задвоение сумм после join до запуска запроса.
- 99 ★ репозитория
- Последний коммит
- Apache-2.0
Минимальный доступ
Почему такой уровень
- Проверка локальная и офлайн, SQL и схема в сторонние сервисы не уходят.
Установка
- Работает в
В терминале, через SkillFoxx CLI
npx skillfoxx add skills/sqlsureОпределит агенты на машине, покажет уровень доступа и зафиксирует версию.
Другие способы установки
Доступ и проверки
Как мы проверяемМинимальный доступИнструмент ничего не запускает и не ходит в сеть.
- Проверка локальная и офлайн, SQL и схема в сторонние сервисы не уходят.
Это чужой код. Посмотрите файлы в репозитории перед установкой.
Что делает
sqlsure сверяет запрос с тем, что команда уже объявила о схеме: тесты `unique` в dbt задают зерно таблицы, тесты связей задают кратность join, метки в `meta` показывают, какие поля можно суммировать. Правила работают как поиск по словарю, без вызова модели: один и тот же запрос дает один и тот же вердикт офлайн. Среди правил есть FANOUT (сумма после соединения один ко многим), CHASM, ADDITIVITY (сумма долей и средних), JOIN_KEY и CROSS_JOIN. Каждое отклонение приходит с машиночитаемым `fix`, поэтому агент может исправить запрос и проверить его снова. Ту же проверку запускают как гейт в CI или как MCP-сервер, а в виде скилла она подключается одним файлом `SKILL.md`.
Для кого. Аналитики и разработчики, чьи агенты пишут SQL по базе или хранилищу и могут вернуть правдоподобное, но неверное число.
Подходит, если
- Агент строит отчет по выручке с join нескольких таблиц.
- В pull request нужен гейт, который блокирует задвоение сумм.
- В dbt-проекте хотят проверить модели на неверные ключи соединения.
- Качество текст-в-SQL оценивают метрикой, которая видит смысловые ошибки.
Не подходит, если
- Запрос нужно проверить на скорость или план выполнения.
- Схема не описана ни в dbt, ни в `model.json`, и вести ее никто не будет.
- Нужен линтер стиля и форматирования SQL.
Пример запроса к агенту
Проверь этот SELECT через sqlsure, покажи нарушения и исправь запрос по подсказке `fix`.Ограничения
Качество вердикта зависит от объявленных фактов: без зерна, кратности связей и меток аддитивности правила молчат или отвечают «не могу проверить». Версия правил в README помечена как v0.1, набор будет расти. Для Postgres и MySQL модель собирается через `information_schema` в коде, готового мастера нет. Для варианта MCP нужен абсолютный путь к `model.json`, а скилл рассчитан на запуск Python на машине агента.
Как отключить. Удалите папку скилла или подключение MCP и уберите шаг `python -m sqlsure.cli` из CI. Пакет снимается командой `pip uninstall sqlsure`.
Частые вопросы
Что ловит проверка?
Задвоение сумм после join один ко многим, сумму неаддитивных мер вроде долей и средних, соединение по ключам без объявленной связи и join без условия. Список правил есть в таблице README.
Нужна ли модель для работы?
Нет, проверка идет по правилам. Она читает только факты схемы: manifest dbt, интроспекцию SQLite или вручную написанный `model.json`.
Как запустить проверку в CI?
Выполните `python -m sqlsure.cli --model model.json query.sql`. При нарушениях команда завершается с кодом 1 и блокирует слияние.
Как собрать модель схемы?
Из manifest dbt, интроспекцией SQLite через `sqlsure.introspect.model_from_sqlite` либо вручную в `model.json` по образцу `model.example.json`.
Как подключить как MCP-сервер?
Выполните `claude mcp add sqlsure -- python -m sqlsure.mcp_server --model /abs/path/model.json`. Описание инструментов есть в `docs/MCP.md`.
Обсуждение
Вопросов и отзывов пока нет.
Похожие
СкиллыReskillSQL разбирает неудачные SQL-запросы агента и выпускает версии скилла query-writing после проверки на отложенной выборке.
SQL-клиент объединяет просмотр баз и пакетные запросы, чтобы агент работал с выбранным подключением и результатами в JSON.
MCP-сервер и плагин Claude Code для SQL: проверка, форматирование, линт и поиск инъекций в запросах на восьми диалектах.
Анализатор планов выполнения SQL Server: 30 правил, недостающие индексы и MCP-сервер, чтобы агент разбирал планы сам
Скилл анализа данных в Excel: проверяет таблицу, чистит, сверяет итоги с суммами в самой таблице и только потом выдает числа.
MCP-сервер text-to-SQL: агент спрашивает базу словами, получает SQL и трассу ответа, а при нехватке данных отказ с причиной.
Коротко о README
Страница начинается с обещания проверять SQL до запуска и результатов по тестовым наборам BIRD и Spider, затем описывает принцип правил и три способа подключения: CI, MCP и библиотеку. Дальше идут таблица правил и свойства доверия.