qwedai/qwed-mcp repository overview

⁠QWED-MCP

Deterministic AI Verification for Claude & Agents
Equip your LLMs with "Glass Box" verification tools (Math, Logic, SQL, Code).

Documentation⁠ • Website⁠

⁠🚀 About QWED-MCP

QWED-MCP is a Model Context Protocol (MCP) server that gives AI assistants (like Claude Desktop, Cursor, and VS Code) the ability to verify their own reasoning.

Instead of trusting an LLM's hallucinated math or insecure code, QWED-MCP provides deterministic tools that the AI can call to validate its outputs before showing them to you.

• The Problem: Claude is great at reasoning but bad at exact math (-2.5 vs -2.4) and formal logic.
• The Solution: QWED-MCP acts as a "Calculator for Truth", running local solvers (SymPy, Z3) to prove correctness.

⁠✨ Key Features

• 4 Core Verification Tools:
  • 🧮 verify_math: Symbolic math verification via SymPy. (e.g., Derivatives, Integrals, Algebra)
  • ⚖️ verify_logic: Formal logic proof via Z3 Prover. (e.g., Syllogisms, Constraint Satisfaction)
  • 🛡️ verify_code: AST-based security scanning for Python code.
  • 🗄️ verify_sql: SQL injection detection and pattern matching.
• Privacy First: Runs 100% locally. No data leaves your machine.
• Universal Compatibility: Works with any MCP client (Claude Desktop, Zed, Cursor).
• Zero-Config: Pre-packaged with all solver dependencies (Z3, SymPy) in this image.

⁠📦 Quick Start

⁠1. Pull the Image

docker pull qwedai/qwed-mcp:latest

⁠2. Configure Claude Desktop

Add this to your claude_desktop_config.json to run QWED-MCP via Docker:

{
  "mcpServers": {
    "qwed-verification": {
      "command": "docker",
      "args": [
        "run",
        "-i",
        "--rm",
        "qwedai/qwed-mcp:latest"
      ]
    }
  }
}

⁠3. Ask Claude

Once restarted, ask Claude:

"What is the integral of x^2? Use verify_math to check your answer."

Claude will now use the Docker container to computationally verify the result.

⁠🔗 Project Resources

• Source Code: https://github.com/QWED-AI/qwed-mcp⁠
• Documentation: https://docs.qwedai.com/docs/mcp/overview⁠
• Issue Tracker: https://github.com/QWED-AI/qwed-mcp/issues⁠

⁠🤝 Contributing

We welcome community contributions! This image is built automatically from the main branch.

• Contributing Guide: https://github.com/QWED-AI/qwed-mcp?tab=contributing-ov-file⁠