Qwed MCP

🔌 QWED-MCP

Claude Desktop & VS Code のための決定論的検証

QWED検証用MCPサーバー — Claude Desktop、VS Code、そして MCP 互換のあらゆる AI アシスタントに決定論的検証をもたらします。

📚 完全なドキュメント: docs.qwedai.com/mcp

⚡ クイックインストール

pip install qwed-mcp

🚀 Claude Desktop でのセットアップ

ステップ 1：設定ファイルを確認する

ステップ 2：QWED-MCP を追加する

macOS / Linux：

{
  "mcpServers": {
    "qwed-verification": {
      "command": "qwed-mcp"
    }
  }
}

Windows（python -m を使用）：

{
  "mcpServers": {
    "qwed-verification": {
      "command": "python",
      "args": ["-m", "qwed_mcp.server"]
    }
  }
}

ステップ 3：Claude Desktop を再起動する

完全に終了し（システムトレイ → 終了）、再度開きます。

ステップ 4：動作確認！

Claude に次のように尋ねてみてください：

「qwed_new の数値エンジンを使って、7.5% で 5 年間運用した 10,000 の投資を検証する Python スクリプトを書き、execute_python_code で実行してください。」

⚠️ 移行に関する注意：verify_* ツールの非推奨化

「コンテキストの肥大化」を解消し、新しい MCP 標準（RFC-9728）に準拠するため、すべての 1:1 機能ツール（例：verify_math、verify_sql、verify_code）は v0.2.1 をもって削除されました。

これらは、単一の高機能なツールに置き換えられました： 👉 execute_python_code

変更前：

「この数式をチェックするには verify_math を使ってください。」（Claude は 14 個の異なるツールスキーマをコンテキストに読み込む）

変更後：

「qwed_new.engines.math_engine をインポートして検証するスクリプトを書き、実行するには execute_python_code を使ってください。」（Claude は 1 個のツールスキーマをコンテキストに読み込む）

"Unknown tool" エラーが表示された場合、Claude がレガシーツールを使おうとしていることを意味します。Claude に次のように伝えてください：「verify_* ツールは削除されました。execute_python_code を使って、Python 検証スクリプトをネイティブに記述・実行してください。」

🔧 利用可能なツール

💡 Claude 用プロンプト例

注記： Claude は標準的な Python インポートを通じて、QWED をネイティブに活用する方法をすでに理解しています。

金融計算

ある銀行がこう言っています：「$10,000 を 7.5%、四半期複利で 5 年間運用すると $14,356.29 になる」
標準的な複利計算式を使ってこれを検証する短い Python スクリプトを書き、execute_python_code で実行してください。

ローンの EMI 検証

検証：₹10,00,000 のローンを 9%、5 年間で借りると EMI は ₹20,758
必要なツールをインポートした Python スクリプトを書いてこの EMI 計算を検証し、execute_python_code で実行してください。

複雑な推論ワークフロー（Python の真価）

添付ドキュメントの利用規約を読んでください。
1. execute_python_code を使って、qwed_legal で法的条項を抽出・検証してください。
2. 同じスクリプト内で、参照されている金銭的罰則が許容範囲と一致しているかを検証してください。

🏗️ 仕組み

┌───────────────────────────────────────────┐
│      Claude Desktop / VS Code             │
│           （MCP クライアント）              │
└─────────────────┬─────────────────────────┘
                  │ MCP プロトコル (JSON-RPC)
                  ▼
┌───────────────────────────────────────────┐
│           QWED-MCP サーバー                │
├───────────────────────────────────────────┤
│ execute_python_code()                     │
│  └─► サブプロセス実行（制限された環境）      │
│       └─► ネイティブ QWED ライブラリ実行    │
└───────────────────────────────────────────┘

🎯 なぜ QWED-MCP なのか？

注記：サブプロセス実行は、実行されたスクリプト内で呼び出された QWED SDK メソッドのみに基づいて回答・チェックを提供します。実行自体は、特定の SDK 呼び出しなしではインジェクション検出を保証しません。

💡 QWED-MCP とは何か（そして何ではないか）

✅ QWED-MCP は：

• MCP サーバー — Claude Desktop と VS Code に検証ツールを追加します
• 決定論的 — 厳密な検証のために SymPy（数学）、Z3（論理）、AST（コード）を使用します
• オープンソース — MCP 互換のどの AI アシスタントでも動作します
• 安全レイヤー — LLM のハルシネーションをリアルタイムで捕捉します

❌ QWED-MCP は：

• Claude の代替ではありません — 検証ツールで Claude を強化します
• チャットボットではありません — Claude が呼び出すバックエンドサーバーです
• インターネット接続しません — すべての検証はローカルで行われます
• ファインチューニング済みモデルではありません — ML ではなくシンボリックエンジンを使用します

QWED-MCP は、Claude に数学のための「電卓」と、論理のための「定理証明器」を与えるものだと考えてください。

Claude が推論し、QWED-MCP が検証します。

🆚 他の MCP サーバーとの違い

Claude Desktop の場合

┌───────────────────┐     ┌───────────────────────┐     ┌───────────────────┐
│      Claude       │     │       QWED-MCP        │     │  検証済みの回答     │
│ 「d/dx x³ は？」    │ ──► │ execute_python_code() │ ──► │      「3x²」✓      │
│ 「チェックする      │     │ SymPy をネイティブ実行  │     │ (STDOUT を取得)    │
│  スクリプトを書いて」 │     └───────────────────────┘     └───────────────────┘
└───────────────────┘

🔒 セキュリティとプライバシー

すべての検証はローカルで行われます。外部サーバーには何も送信されません。

最適な用途：

• 厳格なセキュリティポリシーを持つ企業
• エアギャップ開発環境
• 機密性の高いコードレビューワークフロー

❓ よくある質問

🗺️ ロードマップ

✅ リリース済み（v0.2.1）

• [x] コンテキスト肥大化の解消（RFC-9728 互換）
• [x] 統合された execute_python_code 環境
• [x] 安全なプロセス分離（環境制限）と堅牢なタイムアウト
• [x] Claude Desktop 統合
• [x] Windows / macOS / Linux サポート

🚧 進行中

• [ ] verify_json — JSON Schema 検証ツール
• [ ] verify_finance — NPV / IRR / 償却ツール
• [ ] Cursor IDE 統合ガイド

🔮 計画中

• [ ] verify_legal — 期限と責任の検証
• [ ] verify_statistics — 仮説検定の検証
• [ ] Web UI 向け SSE（Server-Sent Events）トランスポート
• [ ] TypeScript 実装

📁 サンプル

フォルダをご覧ください：

• Python クライアントの使用例
• 検証スクリプトのサンプル
• 統合の例

🛠️ 開発

# Clone
git clone https://github.com/QWED-AI/qwed-mcp.git
cd qwed-mcp

# Install with dev dependencies
pip install -e ".[dev]"

# Run tests
pytest tests/ -v

# Format code
black src/

📖 ドキュメント

🔗 関連プロジェクト

• QWED Core — github.com/QWED-AI/qwed-verification
• QWED-UCP — github.com/QWED-AI/qwed-ucp
• QWED Open Responses — github.com/QWED-AI/qwed-open-responses

📄 ライセンス

Apache 2.0 — LICENSE を参照してください

Built by QWED AI
形式的検証によって AI の出力を信頼できるものにする