QWED-MCP
Enables deterministic verification for AI assistants by executing Python code that uses symbolic engines like SymPy and Z3 for math, logic, and code analysis.
Setup details
This source describes a project but provides no normalized endpoint or package identifier. Follow its source listing for setup instructions.
Sources and provenance
- Glama source codeOfficial · Observed
Grouping basis: listing. Exact endpoints or package sets can be grouped automatically; other relationships require evidence review. This does not verify publisher affiliation, connection health, or equivalent capabilities.