Skip to main content
Glama
85,290 servers. Updated

"author:QWED-AI" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • A
    license
    B
    quality
    A
    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.
    2
    Apache 2.0