mcp-tenant-isolation

멀티 테넌트 SaaS 및 MCP 서버 코드를 위한 정적 분석 스캐너입니다. 프로덕션에 도달하기 전에 테넌트 간 데이터 유출을 잡아냅니다.

테넌트 격리, 데이터베이스 쿼리 필터, IDOR, 캐시 키 범위 지정, RLS, 스키마 격차, MCP 특정 위험(도구 가시성, 캐시 접두사, 세션 바인딩, 자격 증명 저장소)을 다루는 57개의 결정론적 규칙이 있습니다. Prisma, Drizzle, 원시 SQL, Next.js, Express, Fastify와 함께 작동합니다. Claude Desktop 및 Cursor 통합을 위한 MCP 서버가 포함되어 있습니다.

대상 사용자

• 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 특정 규칙

아키텍처

스캐너 파이프라인은 6단계로 작동합니다:

1. 파서 - TS/JS용 Babel AST, Prisma 스키마 파서, SQL 마이그레이션 파서, MCP SDK 임포트 감지

2. IR 및 흐름 그래프 - 소스, 싱크, 가드, 라우트, MCP 도구 정의를 캡처하는 중간 표현

3. 규칙 엔진 - IR에 대해 평가되는 57개의 결정론적 규칙. 각 규칙은 소스, 싱크, 필요한 가드를 정의합니다.

4. 거짓 양성 필터 - 테스트 파일 감지, 신뢰도 점수, 패턴 개선

5. 리포터 - 터미널(판정 포함), JSON, SARIF 2.1.0, AI 친화적 JSON(수정 힌트 포함), Markdown(공유 가능한 보고서)

6. CLI 및 MCP 서버 - mti CLI (scan/init/rules/suppress/baseline/mcp 명령어 포함). MCP 서버는 4개의 도구를 제공합니다.

MCP 서버

이 패키지에는 AI 에이전트 통합을 위한 MCP 서버가 포함되어 있습니다. stdio 전송을 통해 로컬에서 실행됩니다(호스팅 불필요):

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

이것을 Claude Desktop, Cursor 또는 기타 MCP 클라이언트 설정에 추가하여 AI 에이전트가 요청 시 테넌트 격리 문제에 대해 코드를 스캔하도록 할 수 있습니다.

MCP 도구

CI/CD 통합

옵션 1: 사전 구축된 GitHub Action (가장 쉬움)

.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 보고서 아티팩트를 생성하며, 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 통합

github/codeql-action/upload-sarif@v3를 사용하여 SARIF 출력을 업로드하면 결과가 저장소의 Security > Code scanning alerts 탭에 나타납니다. 이는 무료 및 Advanced Security 활성화 저장소 모두에서 작동합니다.

작동 방식:

1. mti scan --format sarif --output results.sarif가 SARIF 2.1.0 파일을 생성합니다.

2. upload-sarif 액션이 이를 GitHub의 코드 스캐닝 API로 보냅니다.

3. 각 결과는 파일, 라인, 심각도, 수정 힌트와 함께 코드 스캐닝 알림이 됩니다.

4. 알림은 GitHub UI에서 직접 해제, 수정 또는 추적할 수 있습니다.

5. 변경된 파일에 대해 풀 리퀘스트 주석이 자동으로 나타납니다.

요구 사항:

• 워크플로에 permissions: security-events: write

• 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개 모든 규칙에 대한 수정 힌트

• AI 에이전트 통합을 위한 MCP 서버

• 만료일이 있는 억제 정책

• 차이점이 있는 기준선 추적

• .mtirc.json의 심각도 재정의

• 사용자 정의 규칙 팩 (JSON)

• 설정 가능한 인증 헬퍼 및 테넌트 가드

• 설정 재정의가 있는 모델 범위 분류

• 프레임워크 감지 (Next.js, Express, Fastify)

• 비프로덕션 경로 필터링

v1.7.0 (계획)

• Python 지원 (FastAPI, Django, Flask)

• SQLAlchemy ORM 분석

• 감시 모드 (mti scan --watch)

• VS Code 확장

v2.0.0 (미래)

• 런타임 2-테넌트 적대적 테스트 하네스

• Go 및 Ruby 언어 지원

• AST 캐시를 사용한 증분 스캐닝

링크

• 랜딩 페이지

• GitHub

• npm

• HAIEC

• Subodh Kc 제작

라이선스

MIT. 무료 및 오픈 소스.