# SPARDA

Локальный инструмент верификации бэкенда для ИИ-агентов. Строит граф поведения маршрутов и блокирует правки, если агент снял проверку прав или сломал инвариант.

- MCP-сервер · `type=mcp` · Claude Code, Codex, Cursor, GitHub Copilot, Windsurf (Devin Desktop), Cline, Zed, Gemini CLI · ★ 8
- Автор: zakariagharzouli
- Лицензия: не указана · policy=link-only · показываем только описание, файл — у автора
- Исходник: https://github.com/zakariagharzouli/sparda
- Обновлён: 2026-09-16
- HTML: https://affpapa.org/nevibecode/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`, исключая ложные отчёты об успешной проверке.

## Требования
- Нужно: Node.js (команды через npx)
- Переменные окружения: `SPARDA_FLYWHEEL`, `SPARDA_RECORD_SEQUENCES` — это ключи и токены: значения спроси у человека, в репозиторий и общие файлы не записывай.

## Установка

### Claude Code (родная платформа)

**Командой платформы**
```bash
claude mcp add --env SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> --env SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> --transport stdio sparda -- npx -y sparda-mcp
```
Вместо <…> подставьте свои значения

### Codex

**Командой платформы**
```bash
codex mcp add sparda --env SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> --env SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> -- npx -y sparda-mcp
```
Вместо <…> подставьте свои значения

### Cursor

**Файл настроек**
Файл `.cursor/mcp.json`:
```json
{
    "mcpServers": {
        "sparda": {
            "command": "npx",
            "args": [
                "-y",
                "sparda-mcp"
            ],
            "env": {
                "SPARDA_FLYWHEEL": "<SPARDA_FLYWHEEL>",
                "SPARDA_RECORD_SEQUENCES": "<SPARDA_RECORD_SEQUENCES>"
            }
        }
    }
}
```
Вместо <…> подставьте свои значения

### GitHub Copilot

**Файл настроек**
Файл `.vscode/mcp.json`:
```json
{
    "servers": {
        "sparda": {
            "type": "stdio",
            "command": "npx",
            "args": [
                "-y",
                "sparda-mcp"
            ],
            "env": {
                "SPARDA_FLYWHEEL": "<SPARDA_FLYWHEEL>",
                "SPARDA_RECORD_SEQUENCES": "<SPARDA_RECORD_SEQUENCES>"
            }
        }
    }
}
```
Вместо <…> подставьте свои значения

### Gemini CLI

**Командой платформы**
```bash
gemini mcp add -e SPARDA_FLYWHEEL=<SPARDA_FLYWHEEL> -e SPARDA_RECORD_SEQUENCES=<SPARDA_RECORD_SEQUENCES> sparda npx -y sparda-mcp
```
Вместо <…> подставьте свои значения

## Когда брать
- Предотвратить случайное удаление проверок доступа при правках ИИ
- Остановить цикл редактирования агента при поломке инвариантов бэкенда
- Построить детерминированный граф поведения маршрутов и мутаций
- Проверить безопасность изменений перед деплоем через CI-гейт

## Примеры запросов агенту
- Запусти проверку apocalypse и убедись, что правки не сломали инварианты бэкенда
- Собери Unified Behavior Graph для проекта через команду ubg
- Выполни prove и покажи вердикт верификации с покрытием маршрутов

## Похожие
- [nestjs-best-practices](https://affpapa.org/nevibecode/skills/nestjs-best-practices.md) — скилл · 30500 установок
- [Python Backend Architecture Review](https://affpapa.org/nevibecode/skills/python-backend-architecture-review.md) — скилл · 503 установки
- [nestjs-expert](https://affpapa.org/nevibecode/skills/httpsgithubcomjeffallan-nestjs-expert.md) — скилл · 5900 установок
- [nestjs-patterns](https://affpapa.org/nevibecode/skills/nestjs-patterns.md) — скилл · 5000 установок
- [Python Security Scan](https://affpapa.org/nevibecode/skills/python-security-scan.md) — скилл · 540 установок
- [convex-reviewer](https://affpapa.org/nevibecode/skills/convex-reviewer.md) — скилл · 36400 установок

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md