Loading MCP servers…
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Streamable HTTP
https://api.endiagram.com/mcpclaude mcp add --transport http endiagram-mcp https://api.endiagram.com/mcp@endiagram/mcp · npm 0.3.16 · stdio
claude mcp add --transport stdio endiagram-mcp -- npx -y @endiagram/mcp@0.3.16