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

Euclid-MCP MCP server | mcptry

E

Euclid-MCP

Local install

io.github.meob/euclid-mcpv0.4.5

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

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 euclid-mcp==0.4.5

How it ranks

38/100

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

Tool quality

0/15

Complete listing

8/15

Domain verified

0/5

Claimed by its maintainer

0/5

Speed

0/5

Recently updated

3/5

How scoring works