MCP server for deterministic graph analysis and visualization of systems described in EN syntax.
Copy the AI prompt to install this server into Claude Code, Cursor, or another agent โ or use 1-click editor setup below.
We haven't yet run this listing's install command through our automated sandbox check. This isn't a red flag โ we're steadily working through the catalog.
๐ก Paste the JSON block into your client's configuration file under mcpServers, then restart the application.
Inspect callable tools, capabilities, and parameters exposed to AI agents by Endiagram MCP.
structuredetect_findings=true` flags risks (unguarded-sink, single-cut-path, multi-cut-path); `node=X` returns per-node centrality (betweenness, closeness, eigenvector).
invariantrules` (one per line) checks custom claims. Four supported shapes: `no bridge that is also hub` ยท `every path from X to Y passes through at least one of [A,B,C]` (precedence) ยท `no node with centrality above N` ยท `removing any single node disconnects at most N others`.
liveโ
reachabledefense_nodes=a,b,c` checks whether guards cover every path.
equivalentCompare mode (`source_a`+`source_b`): edit distance + spectral cospectrality. Evolve mode (`source`+`patch`): plain EN adds; `- name` removes; same-name replaces.
composeMerge: `source_a`+`source_b`+`links` (`a.entity=b.entity` per line). Extract: `source`+`subsystem` (names come from `structure.subsystems`).
MCP server for EN Diagram โ deterministic structural analysis powered by graph theory. Every result is backed by a named mathematical theorem. No AI inside the computation.
Run directly:
Or install globally:
Add to your claude_desktop_config.json:
Add to .cursor/mcp.json in your project root:
Any MCP client that supports HTTP transport:
| Variable | Default | Description |
|---|---|---|
EN_API_URL | https://api.endiagram.com | API endpoint for the EN Diagram service |
Six questions about any system, plus a render tool. Every tool takes source (EN code or .en/.txt file path). Tool names are shorthand, not specs โ read each description before calling; compose and equivalent are mode-based, not general analyzers.
| Tool | What it answers | Levers |
|---|---|---|
structure | What is this system? Shape, stages, bridges, cycles, critical path, dominator tree, min-cuts, subsystems, actors, locations. | detect_findings=true flags risks (unguarded-sink, single-cut-path, multi-cut-path); node=X returns per-node centrality (betweenness, closeness, eigenvector). |
invariant | What's always true? Conservation laws, T-invariants (sustainable cycles), depletable sets, deficiency, reversibility. | rules (one per line) checks custom claims. Four supported shapes: no bridge that is also hub ยท every path from X to Y passes through at least one of [A,B,C] (precedence) ยท no node with centrality above N ยท removing any single node disconnects at most N others. |
live | Can it deadlock? Can entities overflow? Siphons, traps, unbounded cycles, structural liveness and boundedness. | โ |
reachable | Can X reach Y? Path, distance, boundary crossings. from/to accept entity or action names. | defense_nodes=a,b,c checks whether guards cover every path. |
equivalent | Are two systems the same, or what changes if I change this one? | Compare mode (source_a+source_b): edit distance + spectral cospectrality. Evolve mode (source+patch): plain EN adds; - name removes; same-name replaces. |
compose | How do parts combine (merge) or how does a part stand alone (extract)? | Merge: source_a+source_b+links (a.entity=b.entity per line). Extract: source+subsystem (names come from structure.subsystems). |
render | SVG or PNG diagram. Only call when the user asks to visualize. | Themes: Editorial, Primer, Carbon (each ยฑ isDark) or seed-derived from color=#RRGGBB. structure_layers bitmask (1=subsystems, 2=pipelines, 4=cycles, 8=forks, 16=joins, 32=hubs, 64=deadlock, 128=overflow). |
One statement per line:
Shared names between yields and needs create connections automatically:
Same name = same thing. Put all required inputs in one needs: list (AND). Give two actions the same yield-name to offer alternatives (OR). Sequence = one action consuming another's yield. Re-yield stateful resources to keep them persistent; one-shot data stays consumed. Model at the real atomic granularity โ split only when the pieces could be accessed independently.
Learn more at endiagram.com.
@endiagram/mcp generates a random install ID on first run, stored at
~/.endiagram/install-id (mode 0600). It is sent with every request as
the X-Endiagram-Install-Id HTTP header so we can correlate requests
from the same install for debugging issues that the per-IP signal alone
cannot track (mobile networks, VPNs, CGNAT all collapse or churn IPs).
No source code, no file paths, no environment variables, and no PII are sent. The install ID is a random opaque UUIDv4 generated locally.
A first-run notice prints to stderr (never stdout โ stdout is the MCP JSON-RPC channel) with the disclosure and the opt-out instructions. The notice fires once per install and never again.
Any of these three methods disables the install ID:
ENDIAGRAM_TELEMETRY=off as an environment variable (also
accepts 0, false, no).~/.endiagram/telemetry containing the word off.~/.endiagram/install-id. (A new one is generated on next
run unless option 1 or 2 is also set.)When any of these is active, the X-Endiagram-Install-Id header is not
sent at all โ the server falls back to its per-IP HMAC cid for
correlation, which works fine for short-term per-session tracing.
Full privacy policy: endiagram.com/privacy
MIT
Factual signals from GitHub, npm, and our automated checks โ not a rating.
No reviews yet โ be the first to share how this listing worked for you.
Showcase your server listing on GitHub or your project documentation. Embed this dynamic SVG badge to highlight official listing status and live engagement.
[](https://allmcps.com/mcp/endiagram-mcp)<a href="https://allmcps.com/mcp/endiagram-mcp"><img src="https://allmcps.com/api/badge/endiagram-mcp?style=directory" alt="Endiagram MCP on AllMCPs" /></a>