{"id":"95c8aee7-da41-4756-852e-cc6d34495270","shortId":"7Wqy9r","kind":"mcp","title":"DVERA CT verification tools","tagline":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","tags":["github","suresofttechnologies","dvera","mcp"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.SuresoftTechnologies%2Fdvera-mcp","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-27T01:35:00.860Z","embedding":null,"createdAt":"2026-09-15T00:23:03.258Z","updatedAt":"2026-09-27T01:35:00.860Z","lastSeenAt":"2026-09-27T01:35:00.860Z","tsv":"'analysi':15,28 'c/c':13,26 'coverag':17,30 'critic':12,25 'ct':2,7,20 'drive':6,19 'dvera':1,5,18 'mcp' 'mission':11,24 'mission-crit':10,23 'setup':14,27 'test':16,29 'tool':4 'transport-stdio' 'verif':3,8,21","prices":[{"id":"b3934862-fe11-47aa-b788-6032f3b24801","listingId":"95c8aee7-da41-4756-852e-cc6d34495270","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-09-15T00:23:03.258Z"}],"sources":[{"listingId":"95c8aee7-da41-4756-852e-cc6d34495270","source":"anthropic_mcp","sourceId":"io.github.SuresoftTechnologies/dvera-mcp:0.1.4","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-09-15T00:23:03.258Z","lastSeenAt":"2026-09-27T01:35:00.860Z"}],"details":{"listingId":"95c8aee7-da41-4756-852e-cc6d34495270","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.1.4","transport":"stdio","server_name":"io.github.SuresoftTechnologies/dvera-mcp","server_title":"DVERA CT verification tools"},"updatedAt":"2026-09-27T01:35:00.860Z"}}