QWED-MCP 🔌

Deterministic Verification for Claude Desktop & VS Code

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

📚 Full Documentation: docs.qwedai.com/mcp

⚡ Quick Install

pip install qwed-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

🗺️ Roadmap

✅ Released (v0.2.2)

• 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)

🚧 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

Built by QWED AI
Making AI outputs trustworthy through formal verification