mcp z3 prover for Claude Code

io.github.daedalus/mcp-z3-prover

MCP server exposing Z3 solver API

client:Claude Code transport:stdio runtime:pypi

Install mcp z3 prover in Claude Code

run in your project directory

claude mcp add mcp-z3-prover -- uvx mcp-z3-prover

Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs