Browse Servers Stats Benchmarks Feedback

Back to Server List

Basic Information

Version:0.1.0

Published:Mar 28, 2026

daedalus/mcp-z3-prover

Package

mcp-z3-proverstdio

io.github.daedalus

mcp-z3-prover

MCP server exposing Z3 solver API

stdiocommunityapplication

Package Details

mcp-z3-prover

0.1.0•https://pypi.org/project/mcp-z3-prover

Transportstdio

MCPBench

Server data from the official MCP registry.
Classifications, analytics, and additional metadata by MCPBench.

Navigation

Browse Servers Stats Benchmarks Feedback Blog

Resources

MCP Documentation Official Registry

© 2025 MCPBench. MCP servers sourced from the official registry.