MCP Server
mcp-z3-prover
io.github.daedalus/mcp-z3-prover
What this MCP does
MCP server exposing Z3 solver API
Capabilities
Tools
0
tools
Tool metadata is not publicly available.
MCP Radar has not retrieved any tools from this server yet.