MCP MCP server · io.github.daedalus
io.github.daedalus/mcp-z3-prover
MCP server exposing Z3 solver API
- host stars
- 1
- 30-day movement
- starts with the next reading
- Related entries
- 6
- Connections
- 11
pypilocalstdio
- Runs
- installed — on your machine
- Transport
- stdio
- Tools
- 11
- Packaged as
- pypi:mcp-z3-prover
- Install
- uvx mcp-z3-prover
- Version
- 0.1.0
- Last release
- 2026-03-28