{"id":"4bc75eef-b940-4601-a32f-5d16fed7ce97","shortId":"QJra9n","kind":"mcp","title":"io.github.baopeak/verirun","tagline":"Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.","description":"Execution-grounded verification for AI coding agents on Windows: evidence, not agent claims.","tags":["github","baopeak","verirun"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.baopeak%2Fverirun","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-09-29T07:25:06.319Z","embedding":null,"createdAt":"2026-09-06T15:24:55.016Z","updatedAt":"2026-09-29T07:25:06.319Z","lastSeenAt":"2026-09-29T07:25:06.319Z","tsv":"'/verirun':3 'agent':11,16,25,30 'ai':9,23 'claim':17,31 'code':10,24 'evid':14,28 'execut':5,19 'execution-ground':4,18 'ground':6,20 'io.github.baopeak':2 'io.github.baopeak/verirun':1 'mcp' 'transport-stdio' 'verif':7,21 'window':13,27","prices":[{"id":"7d22c203-5ed0-4537-9933-b87bb07daa39","listingId":"4bc75eef-b940-4601-a32f-5d16fed7ce97","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-09-06T15:24:55.016Z"}],"sources":[{"listingId":"4bc75eef-b940-4601-a32f-5d16fed7ce97","source":"anthropic_mcp","sourceId":"io.github.baopeak/verirun:0.2.1-dev","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-09-06T15:24:55.016Z","lastSeenAt":"2026-09-29T07:25:06.319Z"}],"details":{"listingId":"4bc75eef-b940-4601-a32f-5d16fed7ce97","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.2.1-dev","transport":"stdio","server_name":"io.github.baopeak/verirun"},"updatedAt":"2026-09-29T07:25:06.319Z"}}