Armory
Source
Browse
MCPs

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.

Score
23.3741 signal
Evidence
1 fork
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

No one-command install. Set it up from its source.

Alternatives · MCPs

  1. depyler357 stars · 15 forks94.075
  2. chimera-protocol-csl-core16 stars · 12 forks80.448
  3. n3mo24 stars · 5 forks78.177

What it is

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

When to use it

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

How to install / invoke

See Glama for the install config.

Notes

Listed from the Glama MCP registry.