Claude MCP / DirectoryBrowse servers ↗

MCP REGISTRY

AtpMcp

io.github.jcschuster/atp_mcp

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

Source repository ↗How to connect ↓

Published packages

2

Package identifiers published by the server author.

OCIVersion not specified

ghcr.io/jcschuster/atp_mcp:0.8.1

Transport: Standard input / output

OCIVersion not specified

ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle

Transport: Standard input / output

GET STARTED

Connect this server

  1. 01

    Check the setup guide

    Review the publisher’s documentation for supported clients and installation requirements.

  2. 02

    Configure your client

    Add the package or endpoint to your MCP client using the publisher’s instructions. Supply any required credentials in your client settings.

  3. 03

    Connect and explore

    Enable the server in your client and review its available tools and permissions.