endiagram mcp MCP
v0.3.16io.github.dushyant30suthar/endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
transport:streamable-http
runtime:npm
Target client
run in your project directory
claude mcp add --transport http endiagram-mcp https://api.endiagram.com/mcp
Adds it for this project only. Append --scope user to make it available everywhere. Claude Code docs
This listing does not declare its tools. Connect the server and your client will discover them on the handshake.