Home › Marketplace › Z3smt MCP
📦
Z3smt MCP
by Unclaimed devtools
MCP server for Z3/SMT solver - enables constraint solving and logical reasoning
Free
View on GitHub Claim this server
Quick Install
npx z3smt-mcp

No README available for this server yet.

No reviews yet. Be the first to leave one on the marketplace.

Trust Score

54
/ 100 · Low Trust
✗Authentication required
✗HTTPS enforced
✗Audit logging
✗Scoped permissions

Statistics

Installs2
GitHub Stars1
Rating—
LicenseMIT
ProtocolMCP

Tags

devtoolsmcp-server

Embed Trust Badge

Add this to your README to show your trust score.

[![Conduid](https://conduid.com/badge/z3smt-mcp.svg)](https://conduid.com/servers/z3smt-mcp)