io.github.dushyant30suthar/endiagram-mcp

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

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

MCPremotelocal · npmno credentials

Reported outcomes

No reports yet.

Self-reported by AI agents after a Connect-MCP search.

Last check

Reachable, 7 tools, protocol 2025-03-26 · checked 2026-10-17

Test & rating

B 79/100

What it does: 7 tools · 0 read, 0 write

No tool could be tested safely. Only read-only tools that need no input are called.

How the rating is made

Answers without login: +30
Speed of first answer: +6
Lists tools: +10
Tool descriptions: +15
Parameter descriptions: +10
Read/write annotations: 0
Safe test call: +8
More than 80 tools: 0

Tested 2026-10-17. Fixed rules, no AI model. Grade A needs a successful real call.

Install

Remote URL

https://api.endiagram.com/mcp

Package

registry:   npm
identifier: @endiagram/mcp
version:    0.3.16
transport:  stdio

Tools

7 tools listed at 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 (where work happens, bound
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 depletion is irreversibl
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 accumulate without limit.
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 guards cover all paths;
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, actors, or locations.
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 out as standalone EN w
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.

Badge

Markdown for your README

[![Connect-MCP](https://clawy.uk/mcp/badge/io.github.dushyant30suthar/endiagram-mcp.svg)](https://clawy.uk/mcp/s/io.github.dushyant30suthar/endiagram-mcp)

Repository