← all MCP servers

io.github.daedalus/mcp-z3-prover

MCP server exposing Z3 solver API

install

pypi · stdio
uvx mcp-z3-prover

details

version: 0.1.0
license: MIT
stars: 1
last commit: 2026-04-22
published: 2026-03-28

https://github.com/daedalus/mcp-z3-prover

last synced 2026-07-29