Endiagram Mcp

io.github.dushyant30sutharv0.3.16更新於 Sep 25, 2026

EN Diagram — structural verification for concurrent systems. Pure math, no AI.

已驗證Streamable HTTP可網頁執行AI & ML

安裝

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

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

{
  "mcpServers": {
    "endiagram-mcp": {
      "type": "http",
      "url": "https://api.endiagram.com/mcp"
    }
  }
}

工具後設資料尚未被收錄。