QWED Protocol

Model Agnostic Verification Layer for AI

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

OS	Path
Windows	`%APPDATA%\Claude\claude_desktop_config.json`
macOS	`~/Library/Application Support/Claude/claude_desktop_config.json`
Linux	`~/.config/Claude/claude_desktop_config.json`

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:

"Verify the derivative of x³ equals 3x² using verify_math"

🔧 Available Tools

Tool	Engine	Use Case
`verify_math`	SymPy	Verify calculations, derivatives, integrals
`verify_logic`	Z3 Solver	Prove logical arguments, validate reasoning
`verify_code`	AST Analysis	Detect security vulnerabilities
`verify_sql`	Pattern Matching	SQL injection detection

💡 Example Prompts for Claude

Financial Calculations

A bank says: "Invest $10,000 at 7.5% compounded quarterly for 5 years = $14,356.29"
Use verify_math to check using A = P(1 + r/n)^(nt)

Loan EMI Verification

Verify: ₹10,00,000 loan at 9% for 5 years = EMI of ₹20,758
Use the EMI formula: EMI = P × r × (1+r)^n / ((1+r)^n - 1)

Logic Verification

Use verify_logic:
Premises: "All mammals are warm-blooded", "Dolphins are mammals"
Conclusion: "Dolphins are warm-blooded"

Code Security Check

Use verify_code to check this for security issues:

def run_command(cmd):
    os.system(cmd)
    return eval(get_response())

SQL Injection Detection

Use verify_sql to check:
SELECT * FROM accounts WHERE user_id = '1' OR '1'='1'

🏗️ How It Works

┌───────────────────────────────────────────┐
│      Claude Desktop / VS Code             │
│           (MCP Client)                    │
└─────────────────┬─────────────────────────┘
                  │ MCP Protocol (JSON-RPC)
                  ▼
┌───────────────────────────────────────────┐
│           QWED-MCP Server                 │
├───────────────────────────────────────────┤
│  verify_math()    → SymPy (symbolic math) │
│  verify_logic()   → Z3 SMT Solver         │
│  verify_code()    → Python AST Analysis   │
│  verify_sql()     → Regex Pattern Match   │
└───────────────────────────────────────────┘

🎯 Why QWED-MCP?

Without QWED-MCP	With QWED-MCP
LLM calculates → 95% correct	`verify_math()` → 100% correct
LLM writes SQL → might inject	`verify_sql()` → injection detected
LLM reasons → might be wrong	`verify_logic()` → formally proven
LLM codes → might be unsafe	`verify_code()` → security checked

💡 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

Aspect	Other MCP Servers	QWED-MCP
Purpose	Connect to APIs, databases, files	Verify LLM outputs
Approach	Fetch external data	Compute deterministic proofs
Engines	API wrappers	SymPy, Z3, AST analyzers
Accuracy	Depends on data source	100% mathematically proven
Offline	Often need internet	Fully local, no APIs

With Claude Desktop

┌───────────────────┐     ┌─────────────────┐     ┌──────────────────┐
│      Claude       │ ──► │    QWED-MCP     │ ──► │  Verified Answer │
│ "What's d/dx x³?" │     │ verify_math()   │     │    "3x²" ✓       │
└───────────────────┘     └─────────────────┘     └──────────────────┘

🔒 Security & Privacy

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

Concern	QWED-MCP Approach
Data Transmission	❌ No external API calls
Storage	❌ Nothing logged or stored
Dependencies	✅ Local engines (SymPy, Z3)
Code Analysis	✅ Your code never leaves your machine

Perfect for:

Enterprises with strict security policies
Air-gapped development environments
Sensitive code review workflows

❓ FAQ

Is QWED-MCP free?

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

Does it work with VS Code Copilot?

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

Do I need an API key?

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

What's the difference between this and QWED-Core?

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

Can I add my own verification tools?

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

🗺️ Roadmap

✅ Released (v1.0.0)

verify_math — SymPy symbolic math
verify_logic — Z3 SMT solver
verify_code — Python AST security analysis
verify_sql — SQL injection detection
Claude Desktop integration
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 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

Resource	Link
Full Docs	docs.qwedai.com/mcp
Tools Reference	docs.qwedai.com/mcp/tools
Examples	docs.qwedai.com/mcp/examples
Troubleshooting	docs.qwedai.com/mcp/troubleshooting
MCP Protocol	modelcontextprotocol.io

🔗 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

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
.github		.github
assets		assets
examples		examples
prompts		prompts
src/qwed_mcp		src/qwed_mcp
tests		tests
.gitignore		.gitignore
Dockerfile		Dockerfile
LICENSE		LICENSE
README.md		README.md
pyproject.toml		pyproject.toml
requirements.txt		requirements.txt
test_engines.py		test_engines.py

Uh oh!

Folders and files

Latest commit

History

Repository files navigation

QWED Protocol

Model Agnostic Verification Layer for AI

⚡ Quick Install

🚀 Setup with Claude Desktop

Step 1: Find your config file

Step 2: Add QWED-MCP

Step 3: Restart Claude Desktop

Step 4: Test it!

🔧 Available Tools

💡 Example Prompts for Claude

Financial Calculations

Loan EMI Verification

Logic Verification

Code Security Check

SQL Injection Detection

🏗️ How It Works

🎯 Why QWED-MCP?

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

✅ QWED-MCP IS:

❌ QWED-MCP is NOT:

🆚 How We're Different from Other MCP Servers

With Claude Desktop

🔒 Security & Privacy

❓ FAQ

🗺️ Roadmap

✅ Released (v1.0.0)

🚧 In Progress

🔮 Planned

📁 Examples

🛠️ Development

📖 Documentation

🔗 Related Projects

📄 License

About

Topics

Resources

License

Contributing

Security policy

Uh oh!

Stars

Watchers

Forks

Releases 1

Sponsor this project

Uh oh!

Packages 0

Uh oh!

Contributors

Uh oh!

Languages

Packages