Elenchus MCP

🚀 Elenchus MCP Server

Elenchusは、対立的なコード検証を実装するモデルコンテキストプロトコル（MCP）サーバーです。単純なリンティングや静的解析とは異なり、Elenchusは検証者（Verifier）と批判者（Critic）エージェント間の討論を組織し、弁証法的な推論を通じて問題を体系的に明らかにします。

🚀 クイックスタート

MCPクライアントの設定に以下を追加します。

{
  "mcpServers": {
    "elenchus": {
      "command": "npx",
      "args": ["-y", "@jhlee0409/elenchus-mcp"]
    }
  }
}

その後、AIアシスタントと自然に使用します。

"Please verify src/auth for security issues"

クライアント固有のセットアップ手順については、インストールを参照してください。

✨ 主な機能

🔄 対立的な討論システム

• 検証者（Verifier）：証拠を持って問題を見つけます。
• 批判者（Critic）：調査結果に異議を唱え、主張を検証します。
• 役割の強制：コンプライアンススコア付きの厳格な交代制。

📊 意図ベースの収束

• キーワードマッチングではなく、意味的な理解。
• 5つのカテゴリ（セキュリティ、正確性、信頼性、保守性、パフォーマンス）を網羅。
• エッジケースの文書化要件。
• クリーンなコードに対する否定的な主張。

🧠 LLMベースの評価（オプション）

• 収束評価：LLMが検証品質を判断します（厳格なブールチェックとは対照的）。
• 深刻度分類：コンテキストを考慮した影響分析。
• エッジケースの検証：実際の分析を検証し、キーワードの存在だけでなく。
• 誤検出の検出：証拠に基づく問題の検証。

🔍 自動影響分析

• 多言語依存グラフ（tree-sitterを通じて15言語）。
• 波及効果の予測。
• カスケード深度の計算。
• リスクレベルの評価。

🌐 多言語対応

tree-sitter AST解析による依存関係分析：

💾 セッション管理

• チェックポイント/ロールバックのサポート。
• グローバルセッションストレージ。
• 監査証跡の保存。

⚡ トークン最適化（オプション）

• 差分分析（変更されたコードのみを検証）。
• レスポンスキャッシュ。
• 選択的なチャンキング。
• 階層的な検証パイプライン。

📦 インストール

サポートされるクライアント

Claude Desktop

Claude Desktopの設定ファイルに以下を追加します。

macOS: ~/Library/Application Support/Claude/claude_desktop_config.json Windows: %APPDATA%\Claude\claude_desktop_config.json

{
  "mcpServers": {
    "elenchus": {
      "command": "npx",
      "args": ["-y", "@jhlee0409/elenchus-mcp"]
    }
  }
}

Claude Code

Claude Codeの設定（.mcp.jsonまたは~/.claude/settings.json）に以下を追加します。

{
  "mcpServers": {
    "elenchus": {
      "command": "npx",
      "args": ["-y", "@jhlee0409/elenchus-mcp"]
    }
  }
}

VS Code (GitHub Copilot)

.vscode/mcp.jsonに以下を追加します。

{
  "mcp": {
    "servers": {
      "elenchus": {
        "command": "npx",
        "args": ["-y", "@jhlee0409/elenchus-mcp"]
      }
    }
  }
}

Cursor

設定 > MCP > 新しいグローバルMCPサーバーを追加に移動し、以下を入力します。

{
  "mcpServers": {
    "elenchus": {
      "command": "npx",
      "args": ["-y", "@jhlee0409/elenchus-mcp"]
    }
  }
}

💻 使用例

検証したい内容を簡単に記述します。

"Verify src/auth for security vulnerabilities"
"Check the payment module for edge cases"
"Review src/api for correctness and reliability issues"

AIアシスタントは自動的にElenchusツールを使用します。

構造化されたワークフローについては、MCPプロンプトを参照してください。

📚 詳細ドキュメント

MCPツールリファレンス

elenchus_start_session

新しい検証セッションを初期化します。

入力:

• target (文字列、必須): 検証するターゲットパス（ファイルまたはディレクトリ）
• requirements (文字列、必須): 検証要件/焦点領域
• workingDir (文字列、必須): 相対パスの作業ディレクトリ
• maxRounds (数値、オプション): 停止前の最大ラウンド数（デフォルト: 10）
• verificationMode (オブジェクト、オプション): モード設定
  • mode: "standard" | "fast-track" | "single-pass"
  • skipCriticForCleanCode: ブール値
• differentialConfig (オブジェクト、オプション): 変更されたファイルのみを検証
• cacheConfig (オブジェクト、オプション): 以前の検証をキャッシュ
• chunkingConfig (オブジェクト、オプション): 大きなファイルをチャンクに分割
• pipelineConfig (オブジェクト、オプション): 階層的な検証
• llmEvalConfig (オブジェクト、オプション): LLMベースの評価設定
  • enabled: ブール値 - LLM評価を有効にする
  • convergenceEval: ブール値 - 収束品質にLLMを使用する
  • severityEval: ブール値 - 深刻度分類にLLMを使用する
  • edgeCaseEval: ブール値 - エッジケースの検証にLLMを使用する
  • falsePositiveEval: ブール値 - 誤検出の検出にLLMを使用する

戻り値: セッションIDと、収集されたファイル、依存関係グラフの統計、および役割設定を含む初期コンテキスト。

例:

elenchus_start_session({
  target: "src/auth",
  requirements: "Security audit for authentication",
  workingDir: "/path/to/project",
  verificationMode: { mode: "fast-track" }
})

elenchus_get_context

現在のセッションコンテキスト（ファイル、問題、および積極的なガイダンス）を取得します。

入力:

• sessionId (文字列、必須): セッションID

戻り値: ファイル、問題の概要、焦点領域、未レビューのファイル、推奨事項。

elenchus_submit_round

検証者または批判者のラウンドを送信します。

入力:

• sessionId (文字列、必須): セッションID
• role ("verifier" | "critic", 必須): このラウンドの役割
• output (文字列、必須): エージェントの完全な分析出力
• issuesRaised (Issue[], オプション): 新しい問題（検証者の役割）
• issuesResolved (文字列[], オプション): 解決された問題のID（批判者の役割）

問題のスキーマ:

{
  id: string,
  category: "SECURITY" | "CORRECTNESS" | "RELIABILITY" | "MAINTAINABILITY" | "PERFORMANCE",
  severity: "CRITICAL" | "HIGH" | "MEDIUM" | "LOW",
  summary: string,
  location: string,        // "file:line" 形式
  description: string,
  evidence: string         // コードスニペットまたは証拠
}

戻り値: ラウンド数、収束状態、仲介者の介入、役割のコンプライアンススコア。

elenchus_end_session

最終判定を伴ってセッションを終了します。

入力:

• sessionId (文字列、必須): セッションID
• verdict ("PASS" | "FAIL" | "CONDITIONAL", 必須): 最終判定

戻り値: 総ラウンド数、カテゴリと深刻度別の問題を含むセッションの概要。

elenchus_get_issues

オプションのフィルターで問題をクエリします。

入力:

• sessionId (文字列、必須): セッションID
• status ("all" | "unresolved" | "critical", オプション): ステータスでフィルターする

戻り値: フィルターに一致する問題の配列。

追加ツール（31個以上）

上記のコアツール以外に、Elenchusは高度なワークフロー用の31個以上の追加ツールを提供します。

すべてのツールはMCPクライアントによって自動検出されます。詳細なスキーマについては、MCPインスペクター (npm run inspector) を使用してください。

MCPリソース

URIベースのリソースを介してセッションデータにアクセスします。

使用方法:

Read elenchus://sessions/
Read elenchus://sessions/2026-01-17_src-auth_abc123

MCPプロンプト（スラッシュコマンド）

呼び出し形式はクライアントによって異なります。MCPクライアントのドキュメントを確認してください。

検証モード

異なるユースケースに対応する3つのモードがあります。

例:

elenchus_start_session({
  target: "src/",
  requirements: "Security audit",
  workingDir: "/project",
  verificationMode: {
    mode: "fast-track",
    skipCriticForCleanCode: true
  }
})

RAISED → CHALLENGED → RESOLVED
           ↓
        DISMISSED (false positive)
           ↓
        MERGED (combined)
           ↓
        SPLIT (divided)

🔧 技術詳細

トークン最適化

{
  differentialConfig: {
    enabled: true,
    baseRef: "main"  // メインブランチと比較
  }
}

{
  cacheConfig: {
    enabled: true,
    ttlSeconds: 3600  // 1時間キャッシュ
  }
}

{
  chunkingConfig: {
    enabled: true,
    maxChunkSize: 500  // チャンクあたりの行数
  }
}

{
  pipelineConfig: {
    enabled: true,
    startTier: "screen"  // screen → focused → exhaustive
  }
}

設定

環境変数

ストレージの場所

セッションとデータはクライアントに依存しない場所に保存されます。

~/.elenchus/
├── sessions/          # 検証セッション
├── baselines/         # 差分分析のベースライン
├── cache/             # レスポンスキャッシュ
└── safeguards/        # 品質セーフガードデータ

優先順位:

1. $ELENCHUS_DATA_DIR - 明示的なオーバーライド
2. $XDG_DATA_HOME/elenchus - XDG仕様
3. %LOCALAPPDATA%\elenchus - Windows
4. ~/.elenchus - デフォルトのフォールバック

カスタムストレージ

# カスタム場所を設定
export ELENCHUS_DATA_DIR=/path/to/custom/storage

# またはXDG仕様を使用
export XDG_DATA_HOME=~/.local/share

セッションのクリーンアップ

セッションは監査記録として保存されます。手動でクリーンアップするには、以下を実行します。

rm -rf ~/.elenchus/sessions/*
# または特定のセッションを削除
rm -rf ~/.elenchus/sessions/2026-01-17_*

アーキテクチャ

┌─────────────────────────────────────────────────────────────────────┐
│                       ELENCHUS MCP SERVER                            │
├─────────────────────────────────────────────────────────────────────┤
│                                                                      │
│  ┌──────────────────────────────────────────────────────────────┐  │
│  │                     MCP PROTOCOL LAYER                        │  │
│  │  ┌──────────┐  ┌──────────┐  ┌──────────┐  ┌──────────────┐ │  │
│  │  │  Tools   │  │Resources │  │ Prompts  │  │ Notifications│ │  │
│  │  │  (36)    │  │  (URI)   │  │   (5)    │  │  (optional)  │ │  │
│  │  └────┬─────┘  └────┬─────┘  └────┬─────┘  └──────────────┘ │  │
│  └───────┼─────────────┼─────────────┼──────────────────────────┘  │
│          │             │             │                              │
│  ┌───────┴─────────────┴─────────────┴──────────────────────────┐  │
│  │                       CORE MODULES                            │  │
│  │  Session Manager │ Context Manager │ Mediator System          │  │
│  │  Role Enforcement │ Issue Lifecycle │ Pipeline (Tiered)       │  │
│  └───────────────────────────────────────────────────────────────┘  │
│                              │                                       │
│                              ▼                                       │
│                    ┌──────────────────┐                             │
│                    │     STORAGE      │                             │
│                    │ ~/.elenchus/     │                             │
│                    └──────────────────┘                             │
└─────────────────────────────────────────────────────────────────────┘

モジュールの責任

セキュリティ

セキュリティモデル

Elenchusは以下のセキュリティ上の考慮事項を持って動作します。

• コード実行なし：Elenchusは検証するコードを実行しません。静的分析のみを行います。
• ローカルストレージ：すべてのセッションデータは~/.elenchus/にローカルに保存されます。外部サーバーにデータは送信されません。
• パス検証：すべてのファイルパスはパストラバーサル攻撃を防ぐために検証されます。
• 出力に機密情報を含まない：ツールの出力は機密データの露出を避けるためにサニタイズされます。

パーミッション

Elenchusには以下が必要です。

• 検証対象のファイルへの読み取りアクセス
• セッションストレージ用の~/.elenchus/への書き込みアクセス

セキュリティ問題の報告

セキュリティの脆弱性は、GitHub Security Advisoriesを通じて報告してください。

トラブルシューティング

一般的な問題

デバッグ

MCPインスペクターを使用してデバッグします。

npm run inspector
# または
npx @modelcontextprotocol/inspector node dist/index.js

ヘルプの取得

• 問題報告: GitHub Issues
• ディスカッション: GitHub Discussions

開発

ビルドコマンド

npm run build      # TypeScriptをdist/にコンパイル
npm run dev        # 自動再ビルドのウォッチモード
npm run start      # コンパイルされたサーバーを実行
npm run inspector  # デバッグ用にMCPインスペクターを起動

プロジェクト構造

elenchus-mcp/
├── src/
│   ├── index.ts           # エントリポイント、MCPサーバーの設定
│   ├── tools/             # ツールの定義とハンドラー
│   ├── resources/         # リソースの定義
│   ├── prompts/           # プロンプトテンプレート
│   ├── types/             # TypeScriptインターフェース
│   ├── state/             # セッションとコンテキストの管理
│   ├── mediator/          # 多言語依存分析（tree-sitter）
│   ├── roles/             # 役割の強制
│   ├── config/            # 設定定数
│   ├── cache/             # レスポンスキャッシュ
│   ├── chunking/          # コードのチャンキング
│   ├── diff/              # 差分分析
│   ├── pipeline/          # 階層的な検証
│   └── safeguards/        # 品質セーフガード
├── dist/                  # コンパイルされた出力
├── package.json
├── tsconfig.json
└── README.md

コントリビューション

コントリビューションを歓迎します！以下の手順を実行してください。

1. リポジトリをフォークする
2. 機能ブランチを作成する
3. プルリクエストを送信する

📄 ライセンス

MIT