listed
io.github.daedalus/mcp-z3-prover
io.github.daedalus · io.github.daedalus
MCP
MCP server exposing Z3 solver API
MCP
local
pypi mcp-z3-prover
ATTRIBUTION
- mcp · last seen 2026-09-24T02:51:34.386848Z · fetched 2026-09-24T02:51:34.386848Z · https://registry.modelcontextprotocol.io/
This listing is taken from the catalogues and the provider named above. The price is what that source advertised.