{"id":"io-github-jcschuster-atp-mcp","name":"io.github.jcschuster/atp_mcp","title":"AtpMcp","description":"Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.","category":"agents-and-memory","categories":["agents-and-memory"],"flags":[],"users_30d":0,"health":{"status":"no_remote","latency_ms":null,"tool_count":null,"auth":null,"checked_at":null},"remote":false,"pending":false,"install_link":"https://toolfindr.dev/add?server=io.github.jcschuster%2Fatp_mcp&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-jcschuster-atp-mcp","health_error":null,"repo_url":"https://github.com/jcschuster/AtpMcp","website_url":null,"version":"0.8.1","remotes":[]}