{"id":"f5f36b84-f7d4-4cc9-bf85-17d952b938e0","shortId":"PzE4C3","kind":"mcp","title":"Execute coq-proof-assistant-mcp","tagline":"Premium agentic endpoint for coq-proof-assistant-mcp.","description":"Premium agentic endpoint for coq-proof-assistant-mcp.","tags":["github","evozim","coq","proof","assistant","mcp"],"capabilities":["mcp","transport-sse","remote-server"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://api.m2mcent.com/coq-proof-assistant-mcp/sse","protocol":"mcp","transport":"sse","auth":{"type":"mcp","details":{"transport":"sse","remote_url":"https://api.m2mcent.com/coq-proof-assistant-mcp/sse"}},"qualityScore":"0.450","qualityRationale":"deterministic score 0.45 from registry signals: · indexed on anthropic_mcp · remote sse","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-10-11T18:23:29.215Z","embedding":null,"createdAt":"2026-08-17T22:21:58.936Z","updatedAt":"2026-10-11T18:23:29.215Z","lastSeenAt":"2026-10-11T18:23:29.215Z","tsv":"'agent':8,17 'assist':5,14,23 'coq':3,12,21 'coq-proof-assistant-mcp':2,11,20 'endpoint':9,18 'execut':1 'mcp':6,15,24 'premium':7,16 'proof':4,13,22 'remote-server' 'transport-sse'","prices":[{"id":"125345a2-183b-47c0-a3cd-c97d779a3cea","listingId":"f5f36b84-f7d4-4cc9-bf85-17d952b938e0","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"sse","remote_url":"https://api.m2mcent.com/coq-proof-assistant-mcp/sse"},"createdAt":"2026-08-17T22:21:58.936Z"}],"sources":[{"listingId":"f5f36b84-f7d4-4cc9-bf85-17d952b938e0","source":"anthropic_mcp","sourceId":"io.github.Evozim/coq-proof-assistant-mcp:2.0.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-08-17T22:21:58.936Z","lastSeenAt":"2026-10-11T18:23:29.215Z"}],"details":{"listingId":"f5f36b84-f7d4-4cc9-bf85-17d952b938e0","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"2.0.0","transport":"sse","remote_url":"https://api.m2mcent.com/coq-proof-assistant-mcp/sse","server_name":"io.github.Evozim/coq-proof-assistant-mcp","server_title":"Execute coq-proof-assistant-mcp"},"updatedAt":"2026-10-11T18:23:29.215Z"}}