EN Diagram — structural verification for concurrent systems. Pure math, no AI.

Hosted
communityservice

Deployment

Hosted
streamable-httphttps://api.endiagram.com/mcp

Package Details

Transportstdio