Qwed MCP

🔌 QWED-MCP

Deterministic verification for 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 — Locate your config file

Step 2 — Add QWED-MCP

macOS / Linux:

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

Windows (via 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 out!

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)

💡 Troubleshooting

If you see an "Unknown tool" error, Claude is attempting 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

⚠️ Important Note

Runs with server privileges — ensure inputs are trusted.

💡 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 — 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.1)

• [x] Context bloat resolution (RFC-9728 compatibility)
• [x] Unified execute_python_code environment
• [x] Secure process isolation (env-restricted) and robust timeouts
• [x] Claude Desktop integration
• [x] Windows / macOS / Linux support

🚧 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 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

📄 License

Apache 2.0 — See LICENSE

Built by QWED AI
Making AI outputs trustworthy through formal verification