Execute coq-proof-assistant-mcp

io.github.Evozim由 GitHub 帳號 Evozim 發布v2.0.0更新於 Oct 25, 2026

Premium agentic endpoint for coq-proof-assistant-mcp.

發布方自己的服務：Proof Holdings

已驗證SSE可網頁執行開發者工具

服務詳細資訊

識別碼: io.github.Evozim/coq-proof-assistant-mcp
傳輸: SSE
執行環境: Web executable
信任: Verified
發布於: Sep 16, 2026

安全提示

MCP 服務會接收對話中的工具呼叫請求，並可能執行外部操作。啟用前請先了解該服務能做什麼，並只授予它所需的權限。

註冊中心已驗證此條目所屬的 GitHub 帳號 Evozim。這並不表明該帳號就是產品方。

SourceWeft 的檢查只涵蓋條目是否完整、端點是否回應；不審查伺服器的程式碼，也不審查其工具的行為。

在 README 中新增徽章

向讀者展示該 MCP 服務已收錄於 SourceWeft，徽章連結到本頁。

[![Listed on SourceWeft](https://sourceweft.com/badge/mcp/io.github.Evozim%2Fcoq-proof-assistant-mcp.svg)](https://sourceweft.com/mcp/io.github.Evozim%2Fcoq-proof-assistant-mcp?utm_source=readme&utm_medium=badge)

概覽

AI 產生的概覽

面向 Coq 證明助手的遠端 MCP 端點，透過 SSE 存取，並依每次使用以 x402 USDC 結算標頭付費。

可以做什麼: 透過 SSE 將助手連線到託管的 Coq 證明助手端點，被描述為進階代理服務。未公布工具清單，因此無法從這筆條目確認具體提供哪些證明檢查或證明開發操作。存取由付款簽章而非帳號登入控制。
適用情境: 僅當你希望助手透過託管服務處理 Coq 證明，並願意在 Base 主網上依請求以 USDC 付費時考慮使用。由於沒有公布工具或文件，依賴它之前應先確認其實際能力。
執行需求: 需要供應商主機上的遠端 SSE 端點，不需本機執行環境或套件。需要 Payment-Signature 標頭，攜帶用於 Base 主網 x402 V2 結算的 Base64 編碼 EIP-3009 TransferWithAuthorization 簽章，每次使用費用為 0.5 USDC。未宣告帳號或 API 金鑰。

安裝前請注意

每次使用都會在 Base 主網上產生真實的 USDC 付款，費用可能累積，且該簽章會授權一筆轉帳。此標頭屬於機密憑證，不應分享或寫入日誌。未公布工具、說明或 README，因此此端點如何處理你的證明資料無法確認。

安裝

在 SourceWeft 中

開啟儀表板中的 Execute coq-proof-assistant-mcp，將其新增到工作區。
為需要使用其工具的對話啟用該服務。

Web executable，透過 SSE。遠端服務在工作區中設定後即可從網頁執行環境執行。

交給代理程式安裝

把這段提示詞貼上到 Claude Code、Codex、Cursor 等代理程式，或 SourceWeft 對話中。代理程式會讀取該伺服器的安裝指南，先向你展示發布者、端點和登入方式，經你同意後再把它新增到你的客戶端。金鑰不會寫進任何命令。

閱讀 https://sourceweft.com/mcp/io.github.Evozim%2Fcoq-proof-assistant-mcp/install.md，並按其中說明把這個 MCP 伺服器接入我的客戶端。修改任何設定之前，先告訴我它的發布者、端點和登入方式，等我確認。不要把 API 金鑰寫進命令或我會提交的檔案；問我金鑰應從哪裡取得。

檢視代理程式所依據的安裝指南

其他 MCP 客戶端

把它新增到你客戶端的 mcpServers 設定中。

{
  "mcpServers": {
    "execute-coq-proof-assistant": {
      "type": "sse",
      "url": "https://api.m2mcent.com/coq-proof-assistant-mcp/sse"
    }
  }
}