Home › Servers › Io Github Daedalus Mcp Z3 Prover

Io Github Daedalus Mcp Z3 Prover

MCP server exposing Z3 solver API

development

Quick Install

npx -y io.github.daedalus/mcp-z3-prover

Version

0.1.0

Package

io.github.daedalus/mcp-z3-prover

Repository

daedalus/mcp-z3-prover

About Io Github Daedalus Mcp Z3 Prover

MCP server exposing Z3 solver API This MCP server enables AI assistants like Claude, ChatGPT, and other MCP-compatible clients to interact with Io Github Daedalus Mcp Z3 Prover functionality directly.