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

Claim this server

Prove you maintain io.github.daedalus/mcp-z3-prover and your listing shows a verified maintainer badge.

“Maintained by” badge with your GitHub name on the server page.
5 extra points in our ranking score.
Email alerts when it goes down and when it's back, checked every 30 minutes.
A README badge with your live status and score.

Log in with GitHub to claim