Developer ToolsActive
mcp-z3-prover
MCP server exposing Z3 solver API
Developer ToolsactivePackageOpen Sourcepypi
About This MCP Server
- Connection type
- Local/package connection
- Transport
- stdio
- Package registry
- pypi
- Package identifier
- mcp-z3-prover
- Remote endpoint
- N/A
- Repository
- Available
- Registry
- io.github.daedalus/mcp-z3-prover
- Version
- 0.1.0
Install Command
Use this package command in an MCP client configuration.
uvx mcp-z3-proverSource & Metadata
- Registry name
- io.github.daedalus/mcp-z3-prover
- Status
- active
- Created
- Mar 28, 2026
- Updated
- Mar 28, 2026
- Last synced
- Aug 18, 2026
- Version
- 0.1.0
- Transport
- stdio
- Package type
- pypi
Related MCP Servers
AILANG Parse
Deterministic DOCX/PPTX/XLSX/PDF parser: track changes, comments, headers, footers, merged cells.
streamable-httpactive
AIMarket MCP Gateway
Stdio + HTTP MCP gateway: SSRF-hardened web_fetch, web_search, metis_verify, market_search.
streamable-httpactive
Apiosk Connect
Discover, pay for, execute, and publish APIs through Apiosk.
streamable-httpactive
Australian Economic Data (ABS, RBA & APRA)
Australian economic data from the ABS, RBA, and APRA: CPI, GDP, cash rate, labour, and more.
streamable-httpactive
Axint
Proof and repair for Apple coding agents: validate Swift, run Xcode evidence, and repair failures.
streamable-httpactive
Batru — Dota 2, Deadlock & Marvel Rivals win predictor
Real, calibrated Dota 2, Deadlock & Marvel Rivals win predictions, tier lists & counters.
streamable-httpactive