"author:QWED-AI" matching MCP servers:

• 

  QWED-MCPofficial

  QWED-AI

  A

  license

  B

  quality

  B

  maintenance

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

  Last updated 2026-06-18

  2

  Apache 2.0