io.github.dushyant30suthar/endiagram-mcp

up checked 2026-11-11T08:38:17.549Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided description

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

Summary by lookupd

Checks concurrent system designs for deadlock, overflow, reachability, and structural equivalence, returning invariants and diagrams on…

Install

Claude Code, remote (streamable-http)

claude mcp add --transport http endiagram https://api.endiagram.com/mcp

Claude Code, npm package (stdio)

claude mcp add endiagram -- npx -y @endiagram/mcp

Codex, remote (streamable-http)

codex mcp add endiagram --url https://api.endiagram.com/mcp

Codex, npm package (stdio)

codex mcp add endiagram -- npx -y @endiagram/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "endiagram": {
      "url": "https://api.endiagram.com/mcp"
    }
  }
}

Cursor, npm package (stdio) → .cursor/mcp.json

{
  "mcpServers": {
    "endiagram": {
      "command": "npx",
      "args": [
        "-y",
        "@endiagram/mcp"
      ]
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (7 tools)

Publisher-provided text

• structure What is this system? Returns shape (Pipeline, Fork-Join, DAG, Star, Cycle, Tree, Complete, etc.), stages with roles, bridge nodes, cycles, parallelism, critical
• invariant What's always true — automatic findings and on-demand checks. Automatic outputs: conservationLaws (weighted entity sums constant across executions), sustainable
• live Can it deadlock? Can entities overflow? isStructurallyLive means every siphon contains a trap — no structural deadlock possible. uncoveredSiphons are entity gro
• 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). P
• 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.
• 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 c
• 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 th

Details

• Version: 0.3.16
• Transports: streamable-http, stdio
• Uptime (7 days): 100%
• Median latency: 1229 ms
• First indexed: 2026-11-01T09:28:41.599Z
• Last seen in registry: 2026-11-01T09:28:43.563Z
• Repository: https://github.com/dushyant30suthar/endiagram-mcp

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/io.github.dushyant30suthar/endiagram-mcp.svg)](https://lookupd.com/servers/io.github.dushyant30suthar/endiagram-mcp)

• 62141 servers
• Last crawl: 2026-11-11T18:39:04.612Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp