{"id":"ac5b8949-4d55-4e33-8421-f4535d220801","shortId":"9v5yMD","kind":"mcp","title":"io.github.dushyant30suthar/endiagram-mcp","tagline":"EN Diagram — structural verification for concurrent systems","description":"EN Diagram — structural verification for concurrent systems. Pure math, no AI.","tags":["github","dushyant30suthar","endiagram","mcp"],"capabilities":["mcp","transport-streamable-http","remote-server"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://api.endiagram.com/mcp","protocol":"mcp","transport":"streamable-http","auth":{"type":"mcp","details":{"transport":"streamable-http","remote_url":"https://api.endiagram.com/mcp"}},"qualityScore":"0.450","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on anthropic_mcp · remote streamable-http","verified":false,"liveness":"unknown","lastLivenessCheck":null,"agentReviews":{"count":0,"score_avg":null,"cost_usd_avg":null,"success_rate":null,"latency_p50_ms":null,"narrative_summary":null,"summary_updated_at":null},"enrichmentModel":"deterministic:mcp:v1","enrichmentVersion":1,"enrichedAt":"2026-07-17T02:22:22.022Z","embedding":null,"createdAt":"2026-04-18T20:34:16.383Z","updatedAt":"2026-07-17T02:22:22.022Z","lastSeenAt":"2026-07-17T02:22:22.022Z","tsv":"'ai':20 'concurr':8,15 'diagram':4,11 'dushyant30suthar/endiagram-mcp':2 'en':3,10 'io.github':1 'math':18 'mcp' 'pure':17 'remote-server' 'structur':5,12 'system':9,16 'transport-streamable-http' 'verif':6,13","prices":[{"id":"88d780e4-5dbc-4d78-9119-e88e79c23180","listingId":"ac5b8949-4d55-4e33-8421-f4535d220801","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"streamable-http","remote_url":"https://api.endiagram.com/mcp"},"createdAt":"2026-04-18T20:34:16.383Z"}],"sources":[{"listingId":"ac5b8949-4d55-4e33-8421-f4535d220801","source":"anthropic_mcp","sourceId":"io.github.dushyant30suthar/endiagram-mcp:0.3.16","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-04-18T20:34:16.383Z","lastSeenAt":"2026-07-17T02:22:22.022Z"}],"details":{"listingId":"ac5b8949-4d55-4e33-8421-f4535d220801","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.3.16","transport":"streamable-http","remote_url":"https://api.endiagram.com/mcp","server_name":"io.github.dushyant30suthar/endiagram-mcp"},"updatedAt":"2026-07-17T02:22:22.022Z"}}