Servers Playground How we check Add a server Log in

Servers Playground How we check Add a server Log in

mcptry

Every listing comes from the official MCP Registry. We connect to each remote server on a schedule and publish what happened. Ranking uses health and recency only; nobody pays to rank higher.

Directory

All servers Working now Playground

About

How we check Add a server MCP Registry

Mcp Z3 Prover MCP server | mcptry

M

Mcp Z3 Prover

Local install

io.github.daedalus/mcp-z3-proverv0.1.0

MCP server exposing Z3 solver API

Developer Tools

Source Registry entry

Maintain this server? Claim it

Try it

This server only runs locally, from a package. Install it with the instructions on this page to try it.

Tools

We don't run packages, so we can't list this server's tools.

Health

Runs on your machine from a package. We don't run packages, so it isn't checked.

Install

Local (pypi)stdio

uvx mcp-z3-prover==0.1.0

How it ranks

30/100

Works right now: 22/40
Uptime, 30 days: 5/10

Tool quality

0/15

Complete listing

3/15

Domain verified

0/5

Claimed by its maintainer

0/5

Speed

0/5

Recently updated

0/5

How scoring works