← All servers
🔧

EndiagramVerified🛡 No advisories

io.github.dushyant30suthar/endiagram-mcp
New to MCP? Start here →
8★ stars
0weekly installs
3 months agolast release

Provenancewhere it came from, and what was verified

Verified namespace

Published to the official MCP registry by github.com/dushyant30suthar, which proved it owns this namespace.

Verified owner: github.com/dushyant30suthario.github.dushyant30suthar/endiagram-mcp

🛡 Permissions & trustwhat this server can touch before you run it

Network access
Connects to a hosted remote endpoint.

About

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

Packages & transports

npm@endiagram/mcpv0.3.16 · npx
remotehttps://api.endiagram.com/mcpHTTP

Metadata

Categorydevops
LicenseMIT
Add to your client
Pick your client, copy, paste into its config. That's the whole setup.
~/.claude/claude_desktop_config.json
{
  "mcpServers": {
    "endiagram": {
      "command": "npx",
      "args": [
        "-y",
        "@endiagram/mcp"
      ]
    }
  }
}

▶ Try itlive against api.endiagram.com

This server has a hosted endpoint, so we can connect and list its actual tools right here. Nothing runs on your machine.