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 提问：

"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."

🔧 可用工具

💡 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 是：

• MCP 服务器 —— 为 Claude Desktop 和 VS Code 添加验证工具
• 确定性的 —— 使用 SymPy（数学）、Z3（逻辑）、AST（代码）进行精确验证
• 开源的 —— 可与任何兼容 MCP 的 AI 助手协同工作
• 一层安全屏障 —— 实时捕捉 LLM 的幻觉

❌ QWED-MCP 不是：

• Claude 的替代品 —— 它为 Claude 增强验证能力
• 聊天机器人 —— 它是一个 Claude 调用的后端服务器
• 依赖联网的 —— 所有验证均在本地完成
• 微调模型 —— 使用符号引擎，而非机器学习

可以把 QWED-MCP 理解为：给 Claude 配备一台用于数学的"计算器"，以及一个用于逻辑的"定理证明器"。

Claude 负责推理。QWED-MCP 负责验证。

🆚 与其他 MCP 服务器的差异

与 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."           │     └───────────────────────┘     └───────────────────┘
└───────────────────┘

🔒 安全与隐私

所有验证均在本地进行，不会将任何数据发送至外部服务器。

非常适合：

• 有严格安全策略的企业
• 与互联网物理隔离的开发环境
• 敏感的代码审查工作流

❓ 常见问题

🗺️ 路线图

✅ 已发布（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

由 QWED AI 打造
通过形式化验证，让 AI 输出值得信赖