{"id":"304e94e7-95ef-4adf-86da-5ba15e1e869d","shortId":"KqRBvk","kind":"mcp","title":"Lingua Universale","tagline":"Verification language for AI agent communication protocols with formal proofs, session type checking, and runtime enf...","description":"Verification language for AI agent communication protocols with formal proofs, session type checking, and runtime enforcement.\n\nProvides a type checker and verification system for AI agent conversations based on multiparty session types. Defines communication protocols as types that guarantee no deadlock, correct message ordering, and termination. Includes a full compiler, nine verified properties, twenty standard library protocols, LSP server, VS Code extension, and browser-based playground.","tags":["lingua","universale"],"capabilities":["mcp","transport-stdio","open-source"],"categories":[],"synonyms":[],"warnings":[],"endpointUrl":"https://github.com/rafapra3008/cervellaswarm/tree/HEAD/lu-mcp-server","protocol":"mcp","transport":"stdio","auth":{"type":"mcp","details":{"transport":"stdio"}},"qualityScore":"0.566","qualityRationale":"deterministic score 0.57 from registry signals: · indexed on pulsemcp · has source repo · 8 github stars · registry-generated description present","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-05-15T05:22:25.194Z","embedding":null,"createdAt":"2026-04-28T08:22:12.663Z","updatedAt":"2026-05-15T05:22:25.194Z","lastSeenAt":"2026-05-15T05:22:25.194Z","tsv":"'agent':7,23,44 'ai':6,22,43 'base':46,84 'browser':83 'browser-bas':82 'check':15,31 'checker':38 'code':79 'communic':8,24,52 'compil':68 'convers':45 'correct':60 'deadlock':59 'defin':51 'enf':18 'enforc':34 'extens':80 'formal':11,27 'full':67 'guarante':57 'includ':65 'languag':4,20 'librari':74 'lingua':1 'lsp':76 'mcp' 'messag':61 'multiparti':48 'nine':69 'open-source' 'order':62 'playground':85 'proof':12,28 'properti':71 'protocol':9,25,53,75 'provid':35 'runtim':17,33 'server':77 'session':13,29,49 'standard':73 'system':41 'termin':64 'transport-stdio' 'twenti':72 'type':14,30,37,50,55 'universal':2 'verif':3,19,40 'verifi':70 'vs':78","prices":[{"id":"de1fed67-6b33-4c6a-97c3-a585365ccd07","listingId":"304e94e7-95ef-4adf-86da-5ba15e1e869d","amountUsd":"0","unit":"free","nativeCurrency":null,"nativeAmount":null,"chain":null,"payTo":null,"paymentMethod":"mcp-free","isPrimary":true,"details":{"transport":"stdio"},"createdAt":"2026-04-28T08:22:12.663Z"}],"sources":[{"listingId":"304e94e7-95ef-4adf-86da-5ba15e1e869d","source":"pulsemcp","sourceId":"https://www.pulsemcp.com/servers/gh-rafapra3008-lingua-universale","sourceUrl":"https://api.pulsemcp.com/v0beta/servers","isPrimary":true,"firstSeenAt":"2026-04-28T08:22:12.663Z","lastSeenAt":"2026-05-15T05:22:25.194Z"}],"details":{"listingId":"304e94e7-95ef-4adf-86da-5ba15e1e869d","quickStartSnippet":null,"exampleRequest":null,"exampleResponse":null,"schema":null,"openapiUrl":null,"agentsTxtUrl":null,"citations":[],"useCases":[],"bestFor":[],"notFor":[],"kindDetails":{"source":"pulsemcp","transport":"stdio","server_name":"Lingua Universale","external_url":"https://github.com/rafapra3008/cervellaswarm.git","github_stars":8,"registry_url":"https://www.pulsemcp.com/servers/gh-rafapra3008-lingua-universale","source_code_url":"https://github.com/rafapra3008/cervellaswarm/tree/HEAD/lu-mcp-server"},"updatedAt":"2026-05-15T05:22:25.194Z"}}