mcp-z3-prover
io.github.daedalus/mcp-z3-proverVersion 0.1.0MCP server exposing Z3 solver API
Status
Not checkedWe do not check this entry.- Last checked
- Not checked yet
- Latency
- Not measured
- Remotes responding
- Not checked yet
- Sign-in
- Unknown
- Hosting
- Hosting unknown
- Registry data as of
- Nov 14, 2026, 22:14 UTC
Data from the official MCP Registry, checked by run.zero. How we check
Connect
Streamable HTTP
pypi: mcp-z3-prover 0.1.0Package only
PyPI (uvx)
claude mcp add mcp-z3-prover -- uvx mcp-z3-prover==0.1.0Built your own server? run.zero hosts MCP servers on European infrastructure.
Tools
No tool list available.
Details
- Registry status
- Active
- Published
- Mar 28, 2026
- Updated
- Mar 28, 2026
- Website
- Not given
- Categories
- Uncategorized
- GDPR
- Not declared