io.github.jcschuster/atp_mcp

not probeable (local package)

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

AtpMcp

Publisher-provided description

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

Summary by lookupd

Lets agents submit logic problems to automated theorem provers such as SystemOnTPTP, StarExec, Isabelle and local provers, returning SZS…

Install

No install method is listed in the registry entry.

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Details

• Version: 0.8.1
• Transports: stdio
• First indexed: 2026-11-01T09:35:49.177Z
• Last seen in registry: 2026-11-01T09:35:49.177Z
• Repository: https://github.com/jcschuster/AtpMcp

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.jcschuster/atp_mcp.svg)](https://lookupd.com/servers/io.github.jcschuster/atp_mcp)

• 62092 servers
• Last crawl: 2026-11-11T17:17:22.074Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp