# Lingua Universale

> Use this tool when you need to ensure correct and deadlock-free communication between AI agents, or to verify and validate conversation protocols. It provides a type checker and verification system for multiparty session types, guaranteeing correct message ordering and termination. Ideal for use cases involving complex AI agent interactions, protocol definition, and verification, with inputs including protocol definitions and outputs including verified protocols and compilation results.

Canonical page: https://skillsregistry.net/skills/gh-rafapra3008-lingua-universale  
JSON: https://api.skillsregistry.net/v1/skills/gh-rafapra3008-lingua-universale

## Description

Provides 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.

## Trust

- **Trust score (0–1):** 0.50
- **Verification tier:** unverified

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** browser-automation
- **Updated:** 2026-05-09

## Source

- **Source listing:** [PulseMCP](https://www.pulsemcp.com/servers/gh-rafapra3008-lingua-universale)
- **Repository:** <https://github.com/rafapra3008/cervellaswarm/tree/HEAD/lu-mcp-server>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "gh-rafapra3008-lingua-universale"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/gh-rafapra3008-lingua-universale` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/gh-rafapra3008-lingua-universale/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt