IQ.NET

listed

io.github.dushyant30suthar/endiagram-mcp

io.github.dushyant30suthar · io.github.dushyant30suthar

MCP

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

MCP

streamable-http

https://api.endiagram.com/mcp

local

npm @endiagram/mcp

ATTRIBUTION

This listing is taken from the catalogues and the provider named above. The price is what that source advertised.