io.github.daedalus/mcp-z3-prover
by io.github.daedalus · Added 9d ago
Install
git clone https://github.com/daedalus/mcp-z3-proverAbout
MCP server exposing Z3 solver API
Tags
developmentmcp-serverofficial-registry
by io.github.daedalus · Added 9d ago
git clone https://github.com/daedalus/mcp-z3-proverMCP server exposing Z3 solver API