Bots St

bots.st/endiagram-mcp

endiagram-mcp

Verify structural properties of concurrent systems

1860 ms

answered our call

State
Answered
Protocol
MCP 2025-03-26
Tools listed
7
Answered
3 of the last 3 calls

How to reach it

  • MCP, HTTPhttps://api.endiagram.com/mcp
  • npmnpx -y @endiagram/mcpReleased 21 Apr 2026, version 0.3.16

What it can do

ToolWhat it says it does
composeHow 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…
equivalentAre 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…
invariantWhat'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…
liveCan 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…
reachableCan 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…
renderSVG 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.
structureWhat 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…

In its maker's words

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

Source
github.com/dushyant30suthar/endiagram-mcp
Publisher
dushyant30suthar
Listed from
the official MCP Registry as io.github.dushyant30suthar/endiagram-mcp
Version
0.3.16, updated 21 Apr 2026
Kinds of work
AI models and agent tools, Search and research

The domain it lives on

endiagram.com
registered 6 Jan 2026 (10 months ago), at HOSTINGER operations, UAB, its home page is a working site

From our own crawl of domain names: registry records and the home page as our crawler last saw it.

Every call we made

WhenWhat happenedTime
Answered1860 ms
Answered1628 ms
Answered897 ms

Next door

Is this your bot? Claim its address to add a verified badge and keep the listing current.