← all MCP servers
io.github.dushyant30suthar/endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
remote endpoints
- streamable-http https://api.endiagram.com/mcp
install
npm · stdio
npx -y @endiagram/mcp@0.3.16
details
- version
- 0.3.16
- license
- MIT
- stars
- 8
- last commit
- 2026-04-21
- published
- 2026-04-21
last synced 2026-07-29