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

AtpMcp MCP server | mcptry

Home
Developer Tools
AtpMcp

A

AtpMcp

Local install

io.github.jcschuster/atp_mcpv0.8.1 GitHub verified

Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.

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 (oci)stdio

docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1

Local (oci)stdio

docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle

How it ranks

45/100

Works right now

22/40

Uptime, 30 days

5/10

Tool quality

0/15

Complete listing

8/15

Verified publisher

5/5

Claimed by its maintainer

0/5

Speed

0/5

Recently updated

5/5

How scoring works