z3-solver-mcp-server

Enables solving constraint satisfaction problems, mathematical equations, and logic puzzles using the Z3 SMT solver through natural language.

→ dsouflis/z3-solver-mcp-server · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 2 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/dsouflis-z3-solver-mcp-server-1lfbwr)](https://m8ven.ai/mcp/dsouflis-z3-solver-mcp-server-1lfbwr)

commit: 86c1a5e442718218a668cc09c1b48093802b0907

code hash: 5121a1effa5b865868741882e3f969d032e934fa6e66ab6a2d429a7437e970de

verified: 6/4/2026, 11:16:06 AM

view raw JSON →