Servers›io.github.daedalus/mcp-z3-prover
P

io.github.daedalus/mcp-z3-prover✓

io.github.daedalus/mcp-z3-prover · v0.1.0
▦ pypi
v0.1.0▦ pypi pypi: mcp-z3-prover↗ Repository
ⓘOverview</>Integrate{}server.json
</>Install in any client

One CLI for five MCP hosts. Pick your client on the right — the right config file is written for you, and we tell you how to reload.

$ indusmcp install io.github.daedalus/mcp-z3-prover --client claude-code
Managed by `claude mcp add -s user`
Picked up on next `claude` session — no restart needed.