{"id":"8639f44c-761a-4cdb-ae87-cb1c34c707f3","shortId":"NuzHZz","kind":"mcp","title":"INVARA","tagline":"Independent verification that a change kept its declared constraints","description":"Independent verification that a change kept its declared constraints. No model in the verdict path.","tags":["github","jujitae","invara"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.Jujitae%2Finvara","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-10-06T07:24:38.097Z","embedding":null,"createdAt":"2026-08-23T05:22:00.792Z","updatedAt":"2026-10-06T07:24:38.097Z","lastSeenAt":"2026-10-06T07:24:38.097Z","tsv":"'chang':6,15 'constraint':10,19 'declar':9,18 'independ':2,11 'invara':1 'kept':7,16 'mcp' 'model':21 'path':25 'transport-stdio' 'verdict':24 'verif':3,12","prices":[{"id":"a2122335-5d31-4ae7-b288-9bc75f27593e","listingId":"8639f44c-761a-4cdb-ae87-cb1c34c707f3","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-08-23T05:22:00.792Z"}],"sources":[{"listingId":"8639f44c-761a-4cdb-ae87-cb1c34c707f3","source":"anthropic_mcp","sourceId":"io.github.Jujitae/invara:0.3.0","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-08-23T05:22:00.792Z","lastSeenAt":"2026-10-06T07:24:38.097Z"}],"details":{"listingId":"8639f44c-761a-4cdb-ae87-cb1c34c707f3","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.3.0","transport":"stdio","server_name":"io.github.Jujitae/invara","server_title":"INVARA"},"updatedAt":"2026-10-06T07:24:38.097Z"}}