Server record / io.github.dushyant30suthar/endiagram-mcp
endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Runnable packages
npm@endiagram/mcp
0.3.16stdioRemote endpoints
https://api.endiagram.com/mcpstreamable-httpTool inventory
composeequivalentinvariantlivereachablerenderstructureRecent observations
verifiedversion not recorded7 tools