daedalus/mcp-z3-prover
MCP server exposing Z3 solver API.
Browse this MCP server in the
TensorBlock MCP Index
.