io.github.daedalus/mcp-z3-proverother

mcp-z3-prover

Verified · 6 days ago

MCP server exposing Z3 solver API

Install

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

Our take

Exposes the Z3 theorem prover through MCP so agents can submit constraints and query solver results programmatically. It is for formal methods, verification, and program analysis users who already know how to model problems for SMT solving. The underlying dependency is mature, but this wrapper appears lightweight and early, so usability and guardrails likely matter more than raw solver capability.

reviewed by hand · 2026-07-15

Something wrong or dead here? Report it

Verification record

last verified
6 days ago
github stars
1
last commit
6 mo ago
archived
no
license
MIT
in registry since
2026-03-28

github.com/daedalus/mcp-z3-prover

More in other

browse all →
front-end-checklistother

Front-End Checklist

Verified · 3 days ago

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

hand-reviewed74k starschecked 3 days ago

chrome-devtools-mcpother

Chrome DevTools MCP

Verified · 17 days ago

MCP server for Chrome DevTools

hand-reviewed52k stars1.5m dl/wkchecked 17 days ago

reactive-resumeother

Reactive Resume

Verified · 17 days ago

Free open-source resume builder with remote MCP tools for resumes and job applications.

hand-reviewed43k starschecked 17 days ago

mcpother

PostHog MCP Server

Verified · 21 days ago

Official PostHog MCP Server for product analytics, feature flags, experiments, and more.

hand-reviewed40k starschecked 21 days ago

mcp-server-commandsother

mcp-server-commands

Verified · 18 days ago

An MCP server to run arbitrary commands

hand-reviewed39k stars138 dl/wkchecked 18 days ago

openworkother

OpenWork MCP Gateway

Verified · 8 days ago

Your OpenWork org's skills, plugins, workflows, and connections through one OAuth MCP URL.

hand-reviewed24k starschecked 8 days ago