{"id":"c7bc1e57-ae59-456c-a68c-0eab8c8e2523","shortId":"Yz5EYX","kind":"mcp","title":"Lingua Universale MCP Server","tagline":"Verify AI agent communication with session types and formal proofs","description":"Verify AI agent communication with session types and formal proofs","tags":["github","rafapra3008","mcp","server"],"capabilities":["mcp","transport-stdio"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"mcp://anthropic_mcp/io.github.rafapra3008%2Flu-mcp-server","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-07-12T06:22:21.114Z","embedding":null,"createdAt":"2026-04-18T20:41:57.574Z","updatedAt":"2026-07-12T06:22:21.114Z","lastSeenAt":"2026-07-12T06:22:21.114Z","tsv":"'agent':7,17 'ai':6,16 'communic':8,18 'formal':13,23 'lingua':1 'mcp':3 'proof':14,24 'server':4 'session':10,20 'transport-stdio' 'type':11,21 'universal':2 'verifi':5,15","prices":[{"id":"6a3abab9-8dc9-43d5-9f69-cfb6dd583f35","listingId":"c7bc1e57-ae59-456c-a68c-0eab8c8e2523","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-18T20:41:57.574Z"}],"sources":[{"listingId":"c7bc1e57-ae59-456c-a68c-0eab8c8e2523","source":"anthropic_mcp","sourceId":"io.github.rafapra3008/lu-mcp-server:0.1.1","sourceUrl":"https://registry.modelcontextprotocol.io/v0/servers","isPrimary":true,"firstSeenAt":"2026-04-18T20:41:57.574Z","lastSeenAt":"2026-07-12T06:22:21.114Z"}],"details":{"listingId":"c7bc1e57-ae59-456c-a68c-0eab8c8e2523","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"anthropic_mcp","version":"0.1.1","transport":"stdio","server_name":"io.github.rafapra3008/lu-mcp-server","server_title":"Lingua Universale MCP Server"},"updatedAt":"2026-07-12T06:22:21.114Z"}}