{"id":"io-github-rafapra3008-lu-mcp-server","name":"Lingua Universale MCP Server","homepage":null,"repo_url":"https://github.com/rafapra3008/cervellaswarm.git","category":"ai-ml","subcategories":[],"tags":[],"what_it_does":"Verify AI agent communication with session types and formal proofs","use_cases":[],"not_for":[],"best_when":null,"avoid_when":null,"alternatives":[],"af_score":null,"security_score":null,"reliability_score":null,"package_type":"mcp_server","discovery_source":["mcp_registry"],"priority":"low","status":"discovered","version_evaluated":null,"last_evaluated":null}