io.github.dushyant30suthar/endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
| 項目 | 內容 |
|---|---|
| 名稱 | io.github.dushyant30suthar/endiagram-mcp |
| 版本 | 0.3.16 |
| 分類 | 開發工具 |
| 遠端網址 | https://api.endiagram.com/mcp(streamable-http) |
| 安裝套件 | npm:@endiagram/mcp(stdio) |
| 原始碼 | https://github.com/dushyant30suthar/endiagram-mcp |
| 網站 | — |
| 最後更新 | 2026-04-21T17:48:51.653751Z |