MCP Server

Maintained

MIT

io.github.daedalus/mcp-z3-prover MCP Server

Name: io.github.daedalus/mcp-z3-prover MCP Server
Author: io.github.daedalus

io.github.daedalus/mcp-z3-prover

Repository Registry

What is the io.github.daedalus/mcp-z3-prover MCP server?

MCP server exposing Z3 solver API

How to install io.github.daedalus/mcp-z3-prover

Copy-paste configuration for popular MCP clients.

transport: stdio

Config generated by PluginBench — verify against the source before use.

Claude Desktop

~/Library/Application Support/Claude/claude_desktop_config.json

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

Cursor

~/.cursor/mcp.json

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

Windsurf

~/.codeium/windsurf/mcp_config.json

{
  "mcpServers": {
    "mcp-z3-prover": {
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

VS Code

.vscode/mcp.json

{
  "servers": {
    "mcp-z3-prover": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "mcp-z3-prover"
      ]
    }
  }
}

Claude Code

claude mcp add mcp-z3-prover -- uvx mcp-z3-prover

Related MCP servers

io.github.daedalus/mcp-delonghi-ecam

Maintained

MCP server for DeLonghi ECAM espresso coffee machines via local network

Python

MIT

View repository →

io.github.daedalus/mcp-parigp

Maintained

MCP server exposing cypari2 (PARI/GP) number theory library

Python

MIT

View repository →

io.github.daedalus/mcp-pymetasploit3

Active

MCP server for Metasploit Framework via pymetasploit3

Python

MIT

View repository →

io.github.daedalus/mcp-reverse-engineering

Maintained

A sandboxed MCP tool for reverse engineering with multiple tool integrations

Python

MIT

View repository →

io.github.daedalus/mcp-server-find

Maintained

MCP server discovery - find and install MCP servers from Official Registry, Glama, and Smithery

Python

MIT

View repository →

io.github.daedalus/mcp-shodan

Maintained

MCP server exposing all Shodan API functionality

Python

MIT

View repository →