z3 Prover MCP Server: Install & Setup

Install z3 Prover in Claude Code

Claude Code

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

mcp.json (Claude Desktop, Cursor, VS Code, Windsurf)

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

Frequently asked questions

What does the z3 Prover MCP server do?

MCP server exposing Z3 solver API

Is the z3 Prover MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does z3 Prover run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add z3 Prover to Claude Code?

Run: claude mcp add z3-prover -- uvx mcp-z3-prover

More developer tools MCP servers

View all

Storybook

91k

storybookjs/storybook/mcp

Helps agents write and test Storybook stories for UI components.

LocalFreeTypeScript

Front-End Checklist

75k

thedaviddias/Front-End-Checklist

Review frontend code and live pages against 386 quality-gated web development rules.

RemoteAccount needed

Codebase Memory

48k34k

DeusData/codebase-memory-mcp

Indexes a repo into a persistent local knowledge graph of functions, classes, call chains, HTTP routes and cross-service links, using tree-sitter and LSP.

LocalFreeC/C++

Posthog

41k

PostHog/posthog/mcp

Interact with PostHog analytics, feature flags, error tracking and more.

LocalAccount neededTypeScript

Figma Context

16k369k

GLips/Figma-Context-MCP

Gives coding agents direct access to Figma data to implement designs in one shot.

LocalAccount neededTypeScript

Claude Task Master

28k

eyaltoledano/claude-task-master

Task management for AI-driven development: PRD parsing, task expansion, multi-provider support and selective tool loading to save context.

LocalAccount neededTypeScript