Execute coq-proof-assistant-mcp
Premium agentic endpoint for coq-proof-assistant-mcp.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.Evozim/coq-proof-assistant-mcp |
| 版本 | 2.0.0 |
| 分類 | 開發工具AI 與模型 |
| 遠端網址 | https://api.m2mcent.com/coq-proof-assistant-mcp/sse（sse） |
| 安裝套件 | — |
| 原始碼 | — |
| 網站 | — |
| 最後更新 | 2026-08-17T21:59:14.647998Z |