QWED-MCP

MCP Server for QWED Verification — Bring deterministic verification to Claude Desktop, VS Code, and any MCP-compatible AI assistant.

📚 Full Documentation: docs.qwedai.tech/mcp

⚡ Quick Install

pip install qwed-mcp

Related MCP server: SymPy Sandbox MCP

🚀 Setup with Claude Desktop

Step 1: Find your config file

Step 2: Add QWED-MCP

macOS/Linux:

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

Windows (use python -m):

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

Step 3: Restart Claude Desktop

Quit completely (system tray → Quit) and reopen.

Step 4: Test it!

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

⚠️ Migration Note: Deprecation of verify_* Tools

To solve "context bloat" and align with the new MCP standard (RFC-9728), all 1:1 functional tools (e.g., verify_math, verify_sql, verify_code) have been removed as of v0.2.1.

They have been replaced with a single, highly capable tool: 👉 execute_python_code

Before:

"Use verify_math to check this formula." (Claude loads 14 different tool schemas into context)

After:

"Use execute_python_code to write and run a script that imports qwed_new.engines.math_engine to verify..." (Claude loads 1 tool schema into context)

If you see an "Unknown tool" error, it means Claude is trying to use a legacy tool. Simply tell Claude: "The verify_* tools are removed. Use execute_python_code to natively write and run a Python verification script."

🔧 Available Tools

💡 Example Prompts for Claude

Note: Claude already knows how to use QWED natively via standard Python imports.

Financial Calculations

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.

Loan EMI Verification

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.

Complex Reasoning Workflows (The Power of 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.

🏗️ How It Works

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

🎯 Why QWED-MCP?

Note: Subprocess execution provides answers/checks purely based on what QWED SDK methods are invoked inside the executed scripts. Execution itself does not guarantee injection detection without specific SDK calls.

💡 What QWED-MCP Is (and Isn't)

✅ QWED-MCP IS:

• MCP Server that adds verification tools to Claude Desktop and VS Code

• Deterministic — uses SymPy (math), Z3 (logic), AST (code) for exact verification

• Open source — works with any MCP-compatible AI assistant

• A safety layer — catches LLM hallucinations in real-time

❌ QWED-MCP is NOT:

• A replacement for Claude — it enhances Claude with verification tools

• A chatbot — it's a backend server that Claude calls

• Internet-connected — all verification happens locally

• A fine-tuned model — uses symbolic engines, not ML

Think of QWED-MCP as giving Claude a "calculator" for math and a "theorem prover" for logic.

Claude reasons. QWED-MCP verifies.

🆚 How We're Different from Other MCP Servers

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

🔒 Security & Privacy

All verification happens locally. Nothing is sent to external servers.

Perfect for:

• Enterprises with strict security policies

• Air-gapped development environments

• Sensitive code review workflows

❓ FAQ

Yes! Open source under Apache 2.0. Use it commercially, modify it, distribute it.

QWED-MCP works with any MCP-compatible client. VS Code with Claude extension supports MCP, so yes!

No. QWED-MCP runs entirely locally. No API keys, no cloud calls.

QWED-Core is the Python library. QWED-MCP wraps it as an MCP server so Claude can use it as a tool.

Yes! The server is extensible. Fork it and add your custom @mcp.tool() functions.

🗺️ Roadmap

✅ Released (v0.2.3)

• Context bloat resolution (RFC-9728 compatibility)

• Unified execute_python_code environment

• Secure process isolation (env-restricted) and robust timeouts

• Claude Desktop integration

• Windows/macOS/Linux support

• Hardened math sandbox: AST allowlist for expression evaluation (GHSA-2p69-jpm6-jrxh)

• qwedai.com removed from the trusted skill source domains (#71)

• Requires mcp>=1.30.0,<2. MCP SDK 1.30.0 patches GHSA-84m7-p3x7-pcfv, GHSA-rwrf-2pqf-9j8j and GHSA-5h93-6whr-6q8j; for GHSA-w4fh-qvv9-3v23, HTTP servers that use the SDK's bearer authentication must also set validate_token_resource=True. qwed-mcp runs over stdio and uses neither the HTTP transports nor bearer authentication. MCP SDK 2.x removed the server API qwed-mcp uses

• Reports its own version to MCP clients during initialisation

🚧 In Progress

• verify_json — JSON Schema validation tool

• verify_finance — NPV/IRR/amortization tool

• Cursor IDE integration guide

🔮 Planned

• verify_legal — Deadline and liability verification

• verify_statistics — Hypothesis test validation

• SSE (Server-Sent Events) transport for web UIs

• TypeScript implementation

📁 Examples

See the examples/ folder for:

• Python client usage

• Sample verification scripts

• Integration examples

🛠️ Development

# 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/

📖 Documentation

🔗 Related Projects

• 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

📄 License

Apache 2.0 — See LICENSE