回首頁AtpMcp
Theorem provers for agents: SystemOnTPTP, StarExec, Isabelle and local ATPs, with SZS verdicts.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.jcschuster/atp_mcp |
| 版本 | 0.8.1 |
| 分類 | 開發工具AI 與模型 |
| 遠端網址 | — |
| 安裝套件 | oci：ghcr.io/jcschuster/atp_mcp:0.8.1（stdio）oci： ghcr.io/jcschuster/atp_mcp:0.8.1-isabelle（stdio） |
| 原始碼 | https://github.com/jcschuster/AtpMcp |
| 網站 | — |
| 最後更新 | 2026-10-29T09:09:03.88068Z |