← all MCP servers

AtpMcp

io.github.jcschuster/atp_mcp

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

install

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

details

version: 0.8.1
license: MIT
stars: 0
last commit: 2026-10-29
published: 2026-10-29

https://github.com/jcschuster/AtpMcp

last synced 2026-10-30