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：找到配置文件

操作系統	路徑
Windows	%APPDATA%\Claude\claude_desktop_config.json
macOS	~/Library/Application Support/Claude/claude_desktop_config.json
Linux	~/.config/Claude/claude_desktop_config.json

步驟 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 提問：

"Write a python script that verifies a 10,000 investment at 7.5% for 5 years using the qwed_new math engine, and run it using execute_python_code."

---

⚠️ 遷移說明：verify_* 工具已棄用

為了解決"上下文膨脹"問題並對齊新的 MCP 標準（RFC-9728），所有 1:1 的功能型工具（如 verify_math、verify_sql、verify_code）自 v0.2.1 起已全部移除。

它們被一個功能強大的統一工具所取代：

👉 execute_python_code

變更前：

"Use verify_math to check this formula."（Claude 需要將 14 個不同的工具 schema 加載到上下文中）

變更後：

"Use execute_python_code to write and run a script that imports qwed_new.engines.math_engine to verify..."（Claude 只需加載 1 個工具 schema）

如果你遇到 "Unknown tool" 錯誤，說明 Claude 正在嘗試使用已廢棄的工具。只需告訴它："The verify_* tools are removed. Use execute_python_code to natively write and run a Python verification script."

---

🔧 可用工具

工具	說明	使用場景
execute_python_code	子進程執行	所有 QWED 能力的唯一入口。在受限環境變量中通過子進程執行動態生成的 Python 代碼。注意：以服務器權限運行；請確保輸入可信。

---

💡 Claude 提示詞示例

提示： Claude 已經可以通過標準的 Python 導入方式，原生地使用 QWED。

金融計算

A bank says: "Invest $10,000 at 7.5% compounded quarterly for 5 years = $14,356.29"
Please write a short Python script using the standard compound interest formula to verify this, and run it with execute_python_code.

貸款 EMI 驗證

Verify: ₹10,00,000 loan at 9% for 5 years = EMI of ₹20,758
Write a python script importing necessary tools to verify this EMI calculation, and execute it using execute_python_code.

複雜推理工作流（Python 的強大之處）

Read the user terms in the attached document. 
1. Use execute_python_code to extract and verify the legal clauses using qwed_legal.
2. In the same script, verify if the referenced financial penalties align with the allowed boundaries.

---

🏗️ 工作原理

┌───────────────────────────────────────────┐
│      Claude Desktop / VS Code             │
│           (MCP Client)                    │
└─────────────────┬─────────────────────────┘
                  │ MCP Protocol (JSON-RPC)
                  ▼
┌───────────────────────────────────────────┐
│           QWED-MCP Server                 │
├───────────────────────────────────────────┤
│ execute_python_code()                     │
│  └─► Subprocess Execution (Restricted Env)│
│       └─► Native QWED library execution   │
└───────────────────────────────────────────┘

---

🎯 為什麼選擇 QWED-MCP？

說明：子進程執行所提供的答案/校驗，完全取決於執行的腳本內部調用了哪些 QWED SDK 方法。若未調用特定的 SDK 接口，僅執行本身並不能保證注入檢測。

不使用 QWED-MCP	使用 QWED-MCP
LLM 計算 → 95% 正確	執行調用 qwed_finance 的 Python 腳本 → 100% 正確
LLM 寫 SQL → 可能存在注入	腳本使用 qwed_new 分析器 → 檢測到注入
LLM 推理 → 可能出錯	通過 SDK 執行 Z3 求解器 → 形式化證明
LLM 編碼 → 可能不安全	執行 AST 檢查腳本 → 安全審計

---

💡 QWED-MCP 是什麼（以及不是什麼）

✅ QWED-MCP 是：

• MCP 服務器 —— 為 Claude Desktop 和 VS Code 添加驗證工具
• 確定性的 —— 使用 SymPy（數學）、Z3（邏輯）、AST（代碼）進行精確驗證
• 開源的 —— 可與任何兼容 MCP 的 AI 助手協同工作
• 一層安全屏障 —— 即時捕捉 LLM 的幻覺

❌ QWED-MCP 不是：

• Claude 的替代品 —— 它為 Claude 增強驗證能力
• 聊天機器人 —— 它是一個 Claude 調用的後端服務器
• 依賴聯網的 —— 所有驗證均在本地完成
• 微調模型 —— 使用符號引擎，而非機器學習

可以把 QWED-MCP 理解為：給 Claude 配備一臺用於數學的"計算器"，以及一個用於邏輯的"定理證明器"。

Claude 負責推理。QWED-MCP 負責驗證。

---

🆚 與其他 MCP 服務器的差異

維度	其他 MCP 服務器	QWED-MCP
用途	連接 API、數據庫、文件	驗證 LLM 輸出
方式	獲取外部數據	計算確定性證明
引擎	API 封裝	SymPy、Z3、AST 分析器
準確性	取決於數據源	100% 數學可證明
離線能力	通常需要聯網	完全本地，無需 API

與 Claude Desktop 配合

┌───────────────────┐     ┌───────────────────────┐     ┌───────────────────┐
│      Claude       │     │       QWED-MCP        │     │  Verified Answer  │
│ "What's d/dx x³?" │ ──► │ execute_python_code() │ ──► │      "3x²" ✓      │
│ "Write script to  │     │ Runs SymPy natively   │     │ (STDOUT Captured) │
│ check."           │     └───────────────────────┘     └───────────────────┘
└───────────────────┘

---

🔒 安全與隱私

所有驗證均在本地進行，不會將任何數據發送至外部服務器。

關注點	QWED-MCP 的做法
數據傳輸	❌ 無外部 API 調用
存儲	❌ 不記錄、不存儲任何內容
依賴	✅ 本地引擎（SymPy、Z3）
代碼分析	✅ 你的代碼永遠不會離開本機

非常適合：

• 有嚴格安全策略的企業
• 與互聯網物理隔離的開發環境
• 敏感的代碼審查工作流

---

❓ 常見問題

QWED-MCP 是免費的嗎？

是的！採用 Apache 2.0 開源協議，可以商用、修改和分發。

是否兼容 VS Code Copilot？

QWED-MCP 支持任何兼容 MCP 的客戶端。帶有 Claude 擴展的 VS Code 支持 MCP，因此答案是肯定的！

需要 API Key 嗎？

不需要。QWED-MCP 完全在本地運行，無需 API Key，也無雲端調用。

它與 QWED-Core 有何區別？

QWED-Core 是 Python 庫。QWED-MCP 將其封裝為 MCP 服務器，以便 Claude 作為工具使用。

可以添加我自己的驗證工具嗎？

當然可以！該服務器具備可擴展性。Fork 之後添加你自己的 @mcp.tool() 函數即可。

---

🗺️ 路線圖

✅ 已發佈（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/

---

📖 文檔

資源	鏈接
完整文檔	docs.qwedai.com/mcp
工具參考	docs.qwedai.com/mcp/tools
示例	docs.qwedai.com/mcp/examples
故障排查	docs.qwedai.com/mcp/troubleshooting
MCP 協議	modelcontextprotocol.io

---

🔗 相關項目

• 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

---

由 QWED AI 打造
通過形式化驗證，讓 AI 輸出值得信賴