← Back to the index
Registry updated within 30 days · Local · OCI image
AtpMcp NEW
io.github.jcschuster/atp_mcp copy
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
CategoryDev Tools
TransportLocal
Registry freshnessRegistry updated within 30 days
Version0.8.1
Distributionoci
Maintainerjcschuster github ↗
Install & connect
Install · OCI imagedocker
$ docker run -i --rm ghcr.io/jcschuster/atp_mcp:0.8.1-isabellePublisher-declared package identifier. Verify current package, permissions and client configuration before running; execution has not been tested here.
Freshness
Updated this month
Last registry update 8d ago · published Oct 29, 2026.
Registry position over time
Where AtpMcp sits in the freshest-first index, tracked daily — new to the tracked index since the prior run. position movement fills in as the index runs daily.
Current position#11807
Best position#11807
Since prior runNEW
About this server
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
Local — runs on your machine over stdio (npx / uvx / docker / bundle). Indexed under Dev Tools, alongside 29351 other servers. Health is freshness-derived from the registry's last-update timestamp; this index does not run the server, so capabilities and tool lists live in the source repository.
More in Dev Tools 29352
Iran News RSSLocalIran Jobs (IranTalent + Jobinja + Jobvision)LocalIran Insurance (BimeBazar + Azki)LocalIran Gold PricesLocalIran Crypto ExchangesLocalIran Cloud StatusLocalIran Brokers Market DataLocalStatusHub MCP by usefulapiRemote
Browse all 29351 in Dev Tools →