← Back to Plugins
MCP Server MCP

io.github.dushyant30suthar/endiagram-mcp

github By github 👁 1 views ▲ 0 votes

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

Homepage Verified source GitHub

Install

npx -y @endiagram/[email protected]

Configuration Example

{
  "remotes": [
    {
      "type": "streamable-http",
      "url": "https://api.endiagram.com/mcp"
    }
  ],
  "packages": [
    {
      "registryType": "npm",
      "identifier": "@endiagram/mcp",
      "version": "0.3.16",
      "transport": {
        "type": "stdio"
      }
    }
  ]
}
mcp model-context-protocol streamable-http npm

Comments

Sign in to leave a comment

Loading comments...