MCP MCP server · io.github.dushyant30suthar
io.github.dushyant30suthar/endiagram-mcp
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
- host stars
- 8
- 30-day movement
- starts with the next reading
- Related entries
- 8
- Connections
- 7
npmbothstdiostreamable-http
- Runs
- both
- Transport
- streamable-http, stdio
- Tools
- 7
- Packaged as
- npm:@endiagram/mcp
- Install
- npx -y @endiagram/mcp
- Version
- 0.3.16
- Last release
- 2026-04-21