Science & Research Hosted remote
endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Install
Remote streamable-http
https://api.endiagram.com/mcpnpmstdio
npx -y @endiagram/mcp Client config (Claude Desktop, Cursor, Windsurf and most MCP clients)
{
"mcpServers": {
"io-github-dushyant30suthar-endiagram-mcp": {
"url": "https://api.endiagram.com/mcp"
}
}
}Source: official MCP Registry record · registry name io.github.dushyant30suthar/endiagram-mcp · published 2026-04-21 · updated 2026-04-21. Not an endorsement; review the code before connecting it to anything sensitive.