endiagram mcp for Cursor

io.github.dushyant30suthar/endiagram-mcp

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

client:Cursor transport:streamable-http runtime:npm tools:7

Install endiagram mcp in Cursor

~/.cursor/mcp.json · windows: %USERPROFILE%\.cursor\mcp.json

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

Use .cursor/mcp.json in a project root instead to scope it to that project. Cursor merges both. Cursor docs