io.github.daedalus/mcp-z3-prover

v0.1.0

MCP server exposing Z3 solver API

Install

uvx mcp-z3-prover==0.1.0

Details

Transport: —
Status: active
Repository: https://github.com/daedalus/mcp-z3-prover
Published: 2026-03-28
Updated: 2026-03-28

Own this MCP server?

Email hello@agentalmanac.org with proof you own this listing (link your GitHub user to io.github.daedalus/mcp-z3-prover) to claim it and earn a ⭐ badge plus public contact info.