io.github.daedalus/mcp-z3-proverMCP Registry
io.github.daedalus/mcp-z3-prover
v0.1.0MCP server exposing Z3 solver API
Endpoint health
unknown- Last checked
- No observation yet
- Latency
- Unknown
- Consecutive failures
- 0
Machine-readable profile
mcp-server · schema v1 · package or metadata only
mcp-server:io.github.daedalus%2Fmcp-z3-prover