mcp-tenant-isolation

Статический анализатор для многопользовательских SaaS и MCP-серверов. Выявляет утечки данных между арендаторами до попадания в продакшн.

57 детерминированных правил, охватывающих изоляцию арендаторов, фильтры запросов к БД, IDOR, область видимости ключей кэша, RLS, пробелы в схеме и специфические риски MCP (видимость инструментов, префикс кэша, привязка сессии, хранилище учетных данных). Работает с Prisma, Drizzle, сырым SQL, Next.js, Express и Fastify. Включает MCP-сервер для интеграции с Claude Desktop и Cursor.

Для кого это

• Разработчики SaaS, создающие многопользовательские приложения, которым нужно выявлять утечки данных между арендаторами

• Разработчики MCP-серверов, создающие инструменты для работы с данными в разрезе арендаторов

• Команды безопасности, которым нужна изоляция арендаторов в рамках CI/CD

• Разработчики AI-агентов, которые хотят, чтобы их агенты сканировали код по запросу

Related MCP server: @squirex.dev/mcp-server

Зачем

Сканеры безопасности общего назначения (Snyk, Semgrep, CodeQL) не понимают паттерны изоляции арендаторов или архитектуру MCP-серверов. Утечки данных между арендаторами остаются незамеченными. Этот инструмент заполняет этот пробел с помощью 57 целенаправленных детерминированных правил.

Каждое правило является детерминированным и воспроизводимым. Никакого машинного обучения, никаких ложных предположений. Каждое правило проверяет конкретные паттерны кода, наличие защитных механизмов и пути потоков данных. Вы получаете одинаковые результаты при каждом запуске.

Установка

npm install -g mcp-tenant-isolation

# or use npx (no install needed)
npx mcp-tenant-isolation scan ./src

# or use Docker (no Node.js needed)
docker run --rm -v $(pwd):/code subodhkc/mcp-tenant-isolation scan /code/src

Быстрый старт

mti scan ./src
mti scan ./src --format sarif --output results.sarif
mti scan ./src --format markdown --output TENANT-ISOLATION-REPORT.md
mti scan ./src --format ai --output findings.json
mti scan ./src --severity HIGH
mti init

Демо

Правила

42 Общих правила для многопользовательских систем

15 Специфических правил MCP

Архитектура

Конвейер сканера работает в шесть этапов:

1. Парсеры - Babel AST для TS/JS, парсер схемы Prisma, парсер SQL-миграций, обнаружение импорта MCP SDK

2. IR и граф потоков - Промежуточное представление, захватывающее источники, стоки, защитные механизмы, маршруты, определения инструментов MCP

3. Движок правил - 57 детерминированных правил, оцениваемых на основе IR. Каждое правило определяет источники, стоки, необходимые защитные механизмы

4. Фильтр ложных срабатываний - Обнаружение тестовых файлов, оценка достоверности, уточнение паттернов

5. Формирователи отчетов - Терминал (с вердиктом), JSON, SARIF 2.1.0, AI-дружественный JSON (с подсказками по исправлению), Markdown (отчет для публикации)

6. CLI и MCP-сервер - mti CLI с командами scan/init/rules/suppress/baseline/mcp. MCP-сервер предоставляет 4 инструмента

MCP-сервер

Пакет включает MCP-сервер для интеграции с AI-агентами. Он работает локально через транспорт stdio (не требует хостинга):

{
  "mcpServers": {
    "tenant-isolation": {
      "command": "npx",
      "args": ["-y", "mcp-tenant-isolation", "mcp"]
    }
  }
}

Добавьте это в конфигурацию вашего Claude Desktop, Cursor или другого MCP-клиента, чтобы ваш AI-агент мог сканировать код на предмет проблем с изоляцией арендаторов по запросу.

Инструменты MCP

Интеграция с CI/CD

Вариант 1: Готовое действие GitHub (самый простой)

Добавьте это в .github/workflows/tenant-isolation.yml:

name: Tenant Isolation Scan
on: [push, pull_request]
jobs:
  scan:
    runs-on: ubuntu-latest
    permissions:
      contents: read
      security-events: write
    steps:
      - uses: actions/checkout@v4
      - uses: subodhkc/mcp-tenant-isolation@v1
        with:
          path: ./src
          severity: HIGH
          fail-on: HIGH

Запускает сканирование, загружает SARIF в GitHub Code Scanning, создает артефакт отчета в Markdown и завершает workflow ошибкой, если обнаружены результаты HIGH или CRITICAL.

Вариант 2: Ручной npx

# .github/workflows/tenant-isolation.yml
name: Tenant Isolation Scan
on: [push, pull_request]
jobs:
  scan:
    runs-on: ubuntu-latest
    permissions:
      contents: read
      security-events: write
    steps:
      - uses: actions/checkout@v4
      - uses: actions/setup-node@v4
        with:
          node-version: 20
      - run: npx mcp-tenant-isolation scan ./src --format sarif --output results.sarif
      - uses: github/codeql-action/upload-sarif@v3
        with:
          sarif_file: results.sarif

Коды выхода

Интеграция с GitHub Code Scanning

Когда вы загружаете вывод SARIF с помощью github/codeql-action/upload-sarif@v3, результаты появляются на вкладке Security > Code scanning alerts вашего репозитория. Это работает как с бесплатными репозиториями, так и с репозиториями, где включен Advanced Security.

Что происходит:

1. mti scan --format sarif --output results.sarif генерирует файл SARIF 2.1.0

2. Действие upload-sarif отправляет его в API сканирования кода GitHub

3. Каждый результат становится оповещением сканирования кода с файлом, строкой, серьезностью и подсказкой по исправлению

4. Оповещения можно отклонять, исправлять или отслеживать непосредственно в интерфейсе GitHub

5. Аннотации к пул-реквестам появляются автоматически на измененных файлах

Требования:

• permissions: security-events: write в вашем workflow

• Файл SARIF должен быть создан до шага загрузки

Конфигурация

Создайте .mtirc.json в корне вашего проекта:

{
  "rules": {
    "severity": {
      "DBQ-001": "HIGH",
      "MCP-001": "CRITICAL"
    },
    "exclude": ["DBQ-010"]
  },
  "paths": {
    "include": ["src/**/*"],
    "exclude": ["**/*.test.ts", "**/*.spec.ts"]
  },
  "suppressions": ".mti-suppressions.json",
  "baseline": ".mti-baseline.json"
}

Расширенная конфигурация

{
  "rules": {
    "severity": { "DBQ-001": "HIGH" },
    "exclude": ["DBQ-010"]
  },
  "paths": {
    "include": ["src/**/*"],
    "exclude": ["**/*.test.ts"]
  },
  "output": "terminal",
  "framework": "nextjs-app-router",
  "authHelpers": ["requireAuth", "getServerSession", "withAuth"],
  "tenantGuards": ["organizationId", "tenantId", "workspaceId"],
  "modelScopes": {
    "userScoped": ["User", "UserSession"],
    "global": ["Tenant", "AuditLog"]
  },
  "rulePacks": ["./custom-rules.json"],
  "suppressions": ".mti-suppressions.json",
  "baseline": ".mti-baseline.json"
}

Форматы отчетов

# Generate a Markdown report for a PR
mti scan ./src --format markdown --output TENANT-ISOLATION-REPORT.md

# Upload SARIF to GitHub Code Scanning
mti scan ./src --format sarif --output results.sarif

Технологический стек

• Парсинг AST: @babel/parser (TypeScript, JSX), парсер схемы Prisma, парсер SQL-миграций

• Движок правил: Декларативный паттерн RuleSpec с обнаружением защитных механизмов и сбором доказательств

• CLI: Commander

• MCP: @modelcontextprotocol/sdk (транспорт stdio)

• Вывод: Терминал (с вердиктом), JSON, SARIF 2.1.0, AI JSON (с исправлением), Markdown

• Тестирование: Vitest

План развития

v1.6.2 (Текущая)

• 57 правил (42 общих + 15 специфических для MCP)

• Поддержка TypeScript и JavaScript

• Анализ схемы Prisma

• Анализ SQL-миграций (RLS, колонки арендатора, индексы)

• CLI (mti) с выводом в терминал, JSON, SARIF, AI JSON, Markdown

• Вердикт пройдено/не пройдено в терминале и отчетах Markdown

• Подсказки по исправлению для всех 57 правил

• MCP-сервер для интеграции с AI-агентами

• Политика подавления с истечением срока

• Отслеживание базовой линии с diff

• Переопределение серьезности в .mtirc.json

• Пользовательские наборы правил (JSON)

• Настраиваемые вспомогательные функции аутентификации и защитные механизмы арендатора

• Классификация области видимости модели с переопределениями конфигурации

• Обнаружение фреймворка (Next.js, Express, Fastify)

• Фильтрация путей, не относящихся к продакшну

v1.7.0 (Запланировано)

• Поддержка Python (FastAPI, Django, Flask)

• Анализ ORM SQLAlchemy

• Режим наблюдения (mti scan --watch)

• Расширение для VS Code

v2.0.0 (Будущее)

• Тестовый полигон для состязания двух арендаторов во время выполнения

• Поддержка языков Go и Ruby

• Инкрементальное сканирование с кэшем AST

Ссылки

• Landing Page

• GitHub

• npm

• HAIEC

• Built by Subodh Kc

Лицензия

MIT. Бесплатно и с открытым исходным кодом.