io.github.dushyant30suthar
endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Hosted
communityserviceDeployment
Hosted
streamable-http
https://api.endiagram.com/mcpPackage Details
@endiagram/mcp
Transportstdio