mcp z3 prover MCP
v0.1.0io.github.daedalus/mcp-z3-prover
MCP server exposing Z3 solver API
transport:stdio
runtime:pypi
Target client
run in your project directory
claude mcp add mcp-z3-prover -- uvx mcp-z3-proverAdds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
This listing does not declare its tools. Connect the server and your client will discover them on the handshake.