mcp-tenant-isolation

Statischer Analysescanner für Multi-Tenant-SaaS- und MCP-Server-Code. Erkennt mandantenübergreifende Datenlecks, bevor sie die Produktion erreichen.

57 deterministische Regeln für Mandantenisolation, Datenbankabfragefilter, IDOR, Cache-Schlüssel-Scoping, RLS, Schema-Lücken und MCP-spezifische Risiken (Tool-Sichtbarkeit, Cache-Präfix, Sitzungsbindung, Credential-Vault). Funktioniert mit Prisma, Drizzle, rohem SQL, Next.js, Express und Fastify. Enthält einen MCP-Server für die Integration von Claude Desktop und Cursor.

Für wen ist das gedacht?

• SaaS-Entwickler, die Multi-Tenant-Apps ausliefern und mandantenübergreifende Datenlecks erkennen müssen

• MCP-Server-Entwickler, die Tools für mandantengebundene Daten entwickeln

• Sicherheitsteams, die Mandantenisolation als Teil von CI/CD benötigen

• KI-Agenten-Entwickler, die möchten, dass ihre Agenten Code auf Abruf scannen

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

Warum

Allzweck-Sicherheitsscanner (Snyk, Semgrep, CodeQL) verstehen keine Mandantenisolationsmuster oder MCP-Serverarchitektur. Mandantenübergreifende Datenlecks bleiben unentdeckt. Dieses Tool schließt diese Lücke mit 57 zweckgerichteten deterministischen Regeln.

Jede Regel ist deterministisch und reproduzierbar. Kein maschinelles Lernen, keine falschen Vermutungen. Jede Regel prüft spezifische Codemuster, das Vorhandensein von Guards und Datenflusspfade. Sie erhalten bei jedem Lauf dieselben Ergebnisse.

Installation

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

Schnellstart

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

Demo

Regeln

42 allgemeine Multi-Tenant-Regeln

15 MCP-spezifische Regeln

Architektur

Die Scanner-Pipeline arbeitet in sechs Stufen:

1. Parser - Babel-AST für TS/JS, Prisma-Schema-Parser, SQL-Migrationsparser, Erkennung von MCP-SDK-Imports

2. IR- und Flussgraph - Zwischendarstellung, die Quellen, Senken, Guards, Routen und MCP-Tool-Definitionen erfasst

3. Regel-Engine - 57 deterministische Regeln, die gegen die IR ausgewertet werden. Jede Regel definiert Quellen, Senken, erforderliche Guards

4. False-Positive-Filter - Erkennung von Testdateien, Konfidenzbewertung, Musterverfeinerung

5. Reporter - Terminal (mit Urteil), JSON, SARIF 2.1.0, KI-freundliches JSON (mit Behebungshinweisen), Markdown (teilbarer Bericht)

6. CLI- und MCP-Server - mti-CLI mit den Befehlen scan/init/rules/suppress/baseline/mcp. Der MCP-Server stellt 4 Tools bereit

MCP-Server

Das Paket enthält einen MCP-Server für die KI-Agenten-Integration. Er läuft lokal über den Stdio-Transport (kein Hosting erforderlich):

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

Fügen Sie dies zu Ihrer Claude-Desktop-, Cursor- oder anderen MCP-Client-Konfiguration hinzu, damit Ihr KI-Agent auf Abruf Code auf Mandantenisolationsprobleme überprüfen kann.

MCP-Tools

CI/CD-Integration

Option 1: Vorgefertigte GitHub Action (am einfachsten)

Fügen Sie Folgendes zu .github/workflows/tenant-isolation.yml hinzu:

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

Führt den Scan aus, lädt SARIF in GitHub Code Scanning hoch, erzeugt ein Markdown-Berichtsartefakt und bricht den Workflow ab, wenn HIGH- oder CRITICAL-Befunde erkannt werden.

Option 2: Manuell per 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

Exit-Codes

GitHub-Code-Scanning-Integration

Wenn Sie die SARIF-Ausgabe mit github/codeql-action/upload-sarif@v3 hochladen, erscheinen die Befunde im Tab Sicherheit > Code-Scanning-Warnungen Ihres Repositorys. Dies funktioniert sowohl mit kostenlosen als auch mit Advanced-Security-aktivierten Repositorys.

Was passiert:

1. mti scan --format sarif --output results.sarif erzeugt eine SARIF-2.1.0-Datei

2. Die Aktion upload-sarif sendet sie an die Code-Scanning-API von GitHub

3. Jeder Befund wird zu einer Code-Scanning-Warnung mit Datei, Zeile, Schweregrad und Behebungshinweis

4. Warnungen können direkt in der GitHub-Benutzeroberfläche geschlossen, behoben oder nachverfolgt werden

5. Pull-Request-Anmerkungen erscheinen automatisch für geänderte Dateien

Voraussetzungen:

• permissions: security-events: write in Ihrem Workflow

• Die SARIF-Datei muss vor dem Upload-Schritt erzeugt werden

Konfiguration

Erstellen Sie .mtirc.json im Projektstamm:

{
  "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"
}

Erweiterte Konfiguration

{
  "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"
}

Berichtsformate

# 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

Tech-Stack

• AST-Parsing: @babel/parser (TypeScript, JSX), Prisma-Schema-Parser, SQL-Migrationsparser

• Regel-Engine: Deklaratives RuleSpec-Muster mit Guard-Erkennung und Beweisaufbau

• CLI: Commander

• MCP: @modelcontextprotocol/sdk (Stdio-Transport)

• Ausgabe: Terminal (mit Urteil), JSON, SARIF 2.1.0, KI-JSON (mit Behebung), Markdown

• Tests: Vitest

Roadmap

v1.6.2 (Aktuell)

• 57 Regeln (42 allgemeine + 15 MCP-spezifische)

• TypeScript- und JavaScript-Unterstützung

• Prisma-Schema-Analyse

• SQL-Migrationsanalyse (RLS, Mandantenspalten, Indizes)

• CLI (mti) mit Terminal-, JSON-, SARIF-, KI-JSON- und Markdown-Ausgabe

• Bestanden/Nicht bestanden-Urteil in Terminal- und Markdown-Berichten

• Behebungshinweise für alle 57 Regeln

• MCP-Server für KI-Agenten-Integration

• Unterdrückungsrichtlinie mit Ablaufdatum

• Basislinien-Verfolgung mit Diff

• Schweregrad-Überschreibung in .mtirc.json

• Benutzerdefinierte Regelpakete (JSON)

• Konfigurierbare Auth-Helfer und Mandanten-Guards

• Modellbereichsklassifizierung mit Konfigurationsüberschreibungen

• Framework-Erkennung (Next.js, Express, Fastify)

• Filterung von Nicht-Produktionspfaden

v1.7.0 (Geplant)

• Python-Unterstützung (FastAPI, Django, Flask)

• SQLAlchemy-ORM-Analyse

• Watch-Modus (mti scan --watch)

• VS-Code-Erweiterung

v2.0.0 (Zukunft)

• Laufzeit-Testrahmenwerk für zwei Mandanten mit adversarischen Tests

• Go- und Ruby-Sprachunterstützung

• Inkrementelles Scannen mit AST-Cache

Links

• Landing Page

• GitHub

• npm

• HAIEC

• Erstellt von Subodh Kc

Lizenz

MIT. Frei und Open Source.