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

安装

在 SourceWeft 中

  1. 打开 控制台中的 Endiagram Mcp，将其添加到工作区。
  2. 为需要使用其工具的对话启用该服务。

Web executable，通过 Streamable HTTP。 远程服务在工作区中配置后即可从网页运行时运行。

其他 MCP 客户端

把它添加到你客户端的 mcpServers 配置中。

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

工具

0
工具元数据尚未被收录。

版本历史

1
  1. v0.3.16最新Sep 16, 2026