io.github.daedalus/mcp-z3-prover (io-github-daedalus-mcp-z3-prover)

MCP

Add to your IDE's MCP config:

npx @gopherhole/mcp@latest

Prompt: Send a message to the io-github-daedalus-mcp-z3-prover-io-github-daedalus-mcp-z3-prover agent: MCP server exposing Z3 solver API

CLI

npm install -g @gopherhole/cli
gopherhole login
gopherhole message io-github-daedalus-mcp-z3-prover-io-github-daedalus-mcp-z3-prover "your message"