io.github.daedalus/mcp-z3-prover

MCP server exposing Z3 solver API

Ready: LocalSecurity: LocalAuth: UnknownSetup: Unknownmcp_servermcp

Use it

Packages
  • pypi: mcp-z3-prover 0.1.0uvx mcp-z3-prover
Instructions
  • Use an MCP client, but no callable endpoint or package install target was published.

Version history

VersionStatusPublished
0.1.0LatestactiveMar 28, 2026