endiagram-mcp

Name: endiagram-mcp
Author: dushyant30suthar

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

by dushyant30suthar(0) 0 installs

Free

Free account. Installing gives you the manifest plus copy-paste snippets.

See reviews

About

Imported from the official MCP registry - entry io.github.dushyant30suthar/endiagram-mcp v0.3.16. Ratings and installs below are from this marketplace.

io.github.dushyant30suthar/endiagram-mcp

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

Remote endpoints

streamable-http https://api.endiagram.com/mcp

Packages

npm: @endiagram/mcp @ 0.3.16

Source: https://github.com/dushyant30suthar/endiagram-mcp

Registry entry: io.github.dushyant30suthar/endiagram-mcp

Use it

Copy one of these into your project. Installing also returns the manifest and these snippets.

# after Install: the listing is in your workspace's routing pool - nothing else to configure
curl -s -X POST https://api.opensmartroute.ai/api/v1/route -H 'Authorization: Bearer $OSR_API_KEY' -H 'Content-Type: application/json' -d '{"text": "...", "plan": true}'
# or pin it on the OpenAI-compatible endpoint: {"model": "mcp-io-github-dushyant30suthar-endiagram-mcp", ...}

Manifest

An Open Capability Manifest: the router reads it to know what this does, what it costs and when to pick it.

mcp-io-github-dushyant30suthar-endiagram-mcp.ocm.jsonjson

{
  "ocm": "1",
  "id": "mcp-io-github-dushyant30suthar-endiagram-mcp",
  "kind": "tool",
  "name": "endiagram-mcp",
  "description": "EN Diagram — structural verification for concurrent systems. Pure math, no AI.",
  "publisher": "dushyant30suthar",
  "version": "0.3.16",
  "capabilities": {
    "domains": [
      "general"
    ],
    "tags": [
      "mcp",
      "mcp-server",
      "npm",
      "mcp-registry"
    ],
    "languages": [
      "en"
    ],
    "supports_tools": true
  },
  "quality_prior": 0.6,
  "examples": [
    "EN Diagram — structural verification for concurrent systems. Pure math, no AI."
  ],
  "primary": false,
  "metadata": {
    "source": {
      "provider": "mcp-registry",
      "repository": "https://github.com/dushyant30suthar/endiagram-mcp",
      "path": "server.json",
      "ref": "0.3.16",
      "url": "https://github.com/dushyant30suthar/endiagram-mcp",
      "key": "io.github.dushyant30suthar/endiagram-mcp",
      "registry": "https://registry.modelcontextprotocol.io"
    }
  },
  "endpoints": [
    {
      "protocol": "mcp",
      "url": "https://api.endiagram.com/mcp"
    }
  ]
}

Fetch it by URL: GET /api/v1/registry/mcp-io-github-dushyant30suthar-endiagram-mcp/manifest?version=0.3.16