NestDaddy

Endiagram Mcp

io.github.dushyant30suthar/endiagram-mcp · v0.3.16

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

Connect Remote server

Terminal
claude mcp add --transport http endiagram-mcp https://api.endiagram.com/mcp
~/.cursor/mcp.json
{
  "mcpServers": {
    "endiagram-mcp": {
      "url": "https://api.endiagram.com/mcp"
    }
  }
}
.vscode/mcp.json
{
  "servers": {
    "endiagram-mcp": {
      "type": "http",
      "url": "https://api.endiagram.com/mcp"
    }
  }
}
Claude Desktop
Settings > Connectors > Add custom connector
URL: https://api.endiagram.com/mcp

Tools 7 found in our last check

  • structure

    What is this system? Returns shape (Pipeline, Fork-Join, DAG, Star, Cycle, Tree, Complete, etc.), stages with roles, bridge nodes, cycles, parallelism, critical path, dominator tree, min-cuts, subsystems, interface nodes, actors (who does what, workload entropy), locations (wher…

  • invariant

    What's always true — automatic findings and on-demand checks. Automatic outputs: conservationLaws (weighted entity sums constant across executions), sustainableCycles (T-invariants — action sequences returning to start state), depletableSets (entity groups whose simultaneous dep…

  • live

    Can it deadlock? Can entities overflow? isStructurallyLive means every siphon contains a trap — no structural deadlock possible. uncoveredSiphons are entity groups that can drain permanently, with the actors and locations affected. isStructurallyBounded means no entity can accum…

  • reachable

    Can X reach Y? Follows directed data flow first; falls back to undirected. `from` and `to` accept entity names or action names (resolved against the program). Path shows each step with actor and location. locationCrossings counts boundary transitions. defense_nodes checks if gua…

  • equivalent

    Are two systems the same, or what changes if I change this one? Compare mode (source_a + source_b): structural differences, edit distance, spectral equivalence. isCospectral=true means identical graph structure up to relabeling — topologically the same despite different names, a…

  • compose

    How do parts combine, or how does a part stand alone? Merge mode (source_a + source_b + links): declare which entities in A are the same as entities in B; the combined graph is wired via string-equality of shared names. Extract mode (source + subsystem): pull a named subsystem o…

  • render

    SVG or PNG diagram. Only call when user explicitly asks to visualize. The rendered image is delivered to the user, not injected into the model's context. See the server instructions for EN language syntax.

Details

Endpointhttps://api.endiagram.com/mcp (Streamable HTTP)
Package@endiagram/[email protected] (NPM, stdio)
First published21 Apr 2026
Last updated21 Apr 2026
Registry nameio.github.dushyant30suthar/endiagram-mcp

More other servers See all

Listing data from the official MCP registry. Status and tools from NestDaddy's daily check. Browse all MCP servers.