{"servers":[{"server":{"$schema":"https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json","name":"io.github.rafapra3008/lu-mcp-server","description":"Verify AI agent communication with session types and formal proofs","title":"Lingua Universale MCP Server","repository":{"url":"https://github.com/rafapra3008/cervellaswarm.git","source":"github"},"version":"0.1.1","packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"lu-mcp-server","version":"0.1.1","runtimeHint":"uvx","transport":{"type":"stdio"}}]},"_meta":{"io.modelcontextprotocol.registry/official":{"status":"active","statusChangedAt":"2026-03-15T08:19:22.451957Z","publishedAt":"2026-03-15T08:19:22.451957Z","updatedAt":"2026-03-15T08:19:22.451957Z","isLatest":true}}}],"metadata":{"count":1}}