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

Execute certora-rule-generator-mcp

Claim this server

Prove you maintain io.github.Evozim/certora-rule-generator-mcp and your listing shows a verified maintainer badge.

“Maintained by” badge on the server page, with your GitHub name or your domain.
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.

Sign in with the GitHub account evozim, or as a member of that organization.

Sign in with GitHub