{"id":"io-github-rafapra3008-lu-mcp-server","name":"Lingua Universale MCP Server","af_score":null,"security_score":null,"reliability_score":null,"what_it_does":"Verify AI agent communication with session types and formal proofs","best_when":null,"avoid_when":null,"last_evaluated":null}