SPARDA — MCP-сервер для Claude Code: что делает и как установить
Локальный инструмент верификации бэкенда для ИИ-агентов. Строит граф поведения маршрутов и блокирует правки, если агент снял проверку прав или сломал инвариант.
claude mcp add --env SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> --env SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> --transport stdio sparda -- npx -y sparda-mcpЧто делает SPARDA
SPARDA компилирует маршруты, запросы к базе данных и мутации состояния в единый граф поведения — Unified Behavior Graph (.sparda/ubg.json). Инструмент нативно разбирает приложения на Express, FastAPI, Flask, Next.js, NestJS и Medusa. Для других фреймворков предусмотрен импорт схем OpenAPI.
В цикле разработки команда gate сравнивает состояния графа до и после изменений. Если ИИ-агент упростил код и убрал проверку авторизации вроде requireAdmin, утилита завершает работу с кодом ошибки 2. Хук PostToolUse в Claude Code моментально останавливает генерацию правок. Для пайплайнов деплоя команда apocalypse формирует отчёт в формате SARIF.
Для запуска требуется среда Node.js версии 18 или новее. Анализ выполняется полностью на вашей машине: никаких вызовов внешних API или облачных сервисов. При неполном охвате кодовой базы инструмент выдаёт статус PROVEN (PARTIAL) или PREMISE NOT VERIFIED, исключая ложные отчёты об успешной проверке.
Какие задачи решает
- Предотвратить случайное удаление проверок доступа при правках ИИ
- Остановить цикл редактирования агента при поломке инвариантов бэкенда
- Построить детерминированный граф поведения маршрутов и мутаций
- Проверить безопасность изменений перед деплоем через CI-гейт
Примеры запросов агенту
- Запусти проверку apocalypse и убедись, что правки не сломали инварианты бэкенда
- Собери Unified Behavior Graph для проекта через команду ubg
- Выполни prove и покажи вердикт верификации с покрытием маршрутов
Как установить SPARDA
Командой платформы
claude mcp add --env SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> --env SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> --transport stdio sparda -- npx -y sparda-mcpВместо <…> подставьте свои значения
Командой платформы
codex mcp add sparda --env SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> --env SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> -- npx -y sparda-mcpВместо <…> подставьте свои значения
Файл настроек
{
"mcpServers": {
"sparda": {
"command": "npx",
"args": [
"-y",
"sparda-mcp"
],
"env": {
"SPARDA_FLYWHEEL": "<SPARDA_FLYWHEEL>",
"SPARDA_RECORD_SEQUENCES": "<SPARDA_RECORD_SEQUENCES>"
}
}
}
}Вместо <…> подставьте свои значения
Файл настроек
{
"servers": {
"sparda": {
"type": "stdio",
"command": "npx",
"args": [
"-y",
"sparda-mcp"
],
"env": {
"SPARDA_FLYWHEEL": "<SPARDA_FLYWHEEL>",
"SPARDA_RECORD_SEQUENCES": "<SPARDA_RECORD_SEQUENCES>"
}
}
}
}Вместо <…> подставьте свои значения
Командой платформы
gemini mcp add -e SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> -e SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> sparda npx -y sparda-mcpВместо <…> подставьте свои значения
По шагам, с командами для каждой платформы: Как подключить MCP-сервер: Claude Code, Codex, Cursor, VS Code, Gemini CLI и другие
Вопросы о SPARDA
Как установить SPARDA в Claude Code?
Выполните команду claude mcp add sparda-mcp -- npx -y sparda-mcp. Если требуются переменные окружения, запустите `claude mcp add --env SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> --env SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> --transport stdio sparda -- npx -y sparda-mcp`.
Что делает SPARDA?
Сервер переводит код бэкенда в статический граф поведения и проверяет безопасность правок. Он выявляет снятые гарды, незащищённые эндпоинты и нарушения атомарности без обращения к внешним нейросетям.
Какие фреймворки поддерживаются из коробки?
Инструмент нативно работает с Express, FastAPI, Flask, Next.js, NestJS и Medusa. Любой другой стек можно проверить, передав спецификацию OpenAPI.
