{"id":"io-github-dushyant30suthar-endiagram-mcp","name":"io.github.dushyant30suthar/endiagram-mcp","title":null,"description":"EN Diagram — structural verification for concurrent systems. Pure math, no AI.","category":"design","categories":["design"],"flags":[],"users_30d":0,"health":{"status":"ok","latency_ms":2015,"tool_count":7,"auth":"none","checked_at":"2026-10-16T07:35:41.704Z"},"remote":true,"pending":false,"install_link":"https://toolfindr.dev/add?server=io.github.dushyant30suthar%2Fendiagram-mcp&ref=tool-finder","details_url":"https://toolfindr.dev/servers/io-github-dushyant30suthar-endiagram-mcp","health_error":null,"repo_url":"https://github.com/dushyant30suthar/endiagram-mcp","website_url":null,"version":"0.3.16","remotes":[{"type":"streamable-http","url":"https://api.endiagram.com/mcp"}]}