📦
io.github.daedalus/mcp-z3-prover
MCP server exposing Z3 solver API
0 installs
Trust: 37 — Low
Blockchain
Ask AI about io.github.daedalus/mcp-z3-prover
Powered by Claude · Grounded in docs
I know everything about io.github.daedalus/mcp-z3-prover. Ask me about installation, configuration, usage, or troubleshooting.
0/500
Loading tools...
Reviews
Documentation
No README available