{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.dushyant30suthar/endiagram-mcp","description":"EN Diagram — structural verification for concurrent systems. Pure math, no AI.","repository":{"url":"https://github.com/dushyant30suthar/endiagram-mcp","source":"github"},"version":"0.3.16","packages":[{"registryType":"npm","identifier":"@endiagram/mcp","version":"0.3.16","transport":{"type":"stdio"}}],"remotes":[{"type":"streamable-http","url":"https://api.endiagram.com/mcp"}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-04-21T17:48:51.653751Z","publishedAt":"2026-04-21T17:48:51.653751Z","updatedAt":"2026-04-21T17:48:51.653751Z","isLatest":true}}}