{"id":"1404e59e-cb0d-4b40-8907-a206c0296948","shortId":"p3N6v4","kind":"mcp","title":"io.github.nvlang/verso","tagline":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","description":"MCP server to read Verso-generated documentation sites (e.g., the Lean Language Reference).","tags":["github","nvlang","verso"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.nvlang%2Fverso","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.300","qualityRationale":"deterministic score 0.30 from registry signals: · indexed on anthropic_mcp","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-06-23T16:22:10.434Z","embedding":null,"createdAt":"2026-05-18T04:21:07.626Z","updatedAt":"2026-06-23T16:22:10.434Z","lastSeenAt":"2026-06-23T16:22:10.434Z","tsv":"'/verso':3 'document':11,25 'e.g':13,27 'generat':10,24 'io.github.nvlang':2 'io.github.nvlang/verso':1 'languag':16,30 'lean':15,29 'mcp':4,18 'read':7,21 'refer':17,31 'server':5,19 'site':12,26 'transport-stdio' 'verso':9,23 'verso-gener':8,22","prices":[{"id":"098005d3-db89-43c8-9077-024dcfebb148","listingId":"1404e59e-cb0d-4b40-8907-a206c0296948","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-05-18T04:21:07.626Z"}],"sources":[{"listingId":"1404e59e-cb0d-4b40-8907-a206c0296948","source":"anthropic_mcp","sourceId":"io.github.nvlang/verso:0.4.2","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-05-18T04:21:07.626Z","lastSeenAt":"2026-06-23T16:22:10.434Z"}],"details":{"listingId":"1404e59e-cb0d-4b40-8907-a206c0296948","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.4.2","transport":"stdio","server_name":"io.github.nvlang/verso"},"updatedAt":"2026-06-23T16:22:10.434Z"}}