← Top 100 Full directory (1,587)

QWED-MCP

AI & Memory Local Official

Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.

Install from GitHub GitHub Docs Glama

How to connect

  1. Glama registry

    View https://glama.ai/mcp/servers/w2wg9hdkgp for deploy options, or install from https://github.com/QWED-AI/qwed-mcp (see README for MCP config).

  2. GitHub

    Install from https://github.com/QWED-AI/qwed-mcp and add the server to your MCP client configuration (see repository README).

Tools

Tool names are not listed in our registry for this server. Use Connect or Install above, then open your MCP client to see the live tool list.