Lingua Universale MCP Server — Claude Code MCP server
An MCP server that checks how your AI agents talk to each other, with formal proofs of the protocol's properties inside your editor.
claude mcp add lu-mcp-server -- uvx lu-mcp-serverWhat Lingua Universale MCP Server does
Lingua Universale describes multi-agent conversations as session types. You list the roles and the order in which messages must travel, and the checker rejects a send from the wrong party or at the wrong moment. The failure shows up during development rather than in a live run.
The server starts as uvx lu-mcp-server and exposes the LU toolchain to your agent: compile a .lu source file, prove its properties, lint and format it, generate Python code. Several jobs stay on the CLI side — lu verify, lu lint, lu fmt, lu visualize, and lu mcp-audit for auditing the protocols of an MCP server itself.
Because the protocol lives in its own .lu file instead of your agent code, checking it fits as a separate build step. For CI, install the package with pip install cervellaswarm-lingua-universale; lu verify exits non-zero when a rule breaks. One prerequisite matters: every install snippet above relies on uvx, so uv has to be on the machine first.
What it helps with
- lock down who may send which message and when
- prove a protocol cannot deadlock or run forever
- run the linter over
.lufiles before merging - render the agent conversation as a Mermaid diagram
- audit an MCP server's own protocol definitions
Example prompts for the agent
- Verify
delegate_task.luand list which properties were proved - Add a validator role to the protocol, then lint the
.lufiles - Draw the sequence diagram for the
Reviewprotocol
How to install Lingua Universale MCP Server
Platform CLI
claude mcp add lu-mcp-server -- uvx lu-mcp-serveruvx runs the command named after the package; if the README names another one, use uvx --from lu-mcp-server <command>
Platform CLI
codex mcp add lingua-universale-mcp-server -- uvx lu-mcp-serveruvx runs the command named after the package; if the README names another one, use uvx --from lu-mcp-server <command>
Config file
{
"mcpServers": {
"lingua-universale-mcp-server": {
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}uvx runs the command named after the package; if the README names another one, use uvx --from lu-mcp-server <command>
Config file
{
"servers": {
"lingua-universale-mcp-server": {
"type": "stdio",
"command": "uvx",
"args": [
"lu-mcp-server"
]
}
}
}uvx runs the command named after the package; if the README names another one, use uvx --from lu-mcp-server <command>
Platform CLI
gemini mcp add lingua-universale-mcp-server uvx lu-mcp-serveruvx runs the command named after the package; if the README names another one, use uvx --from lu-mcp-server <command>
Step by step, with commands for each platform: How to add an MCP server to Claude Code, Codex, Cursor, VS Code, Gemini CLI and more
Questions about Lingua Universale MCP Server
How do I install Lingua Universale MCP Server in Claude Code?
Run claude mcp add lu-mcp-server -- uvx lu-mcp-server. A second name works the same way: claude mcp add lingua-universale-mcp-server -- uvx lu-mcp-server.
What does Lingua Universale MCP Server do?
It hands your agent the LU tools for checking agent-to-agent protocols: parsing .lu files, proving formal properties, linting, and Python codegen.
Do I need the whole LU package for the MCP server?
The server itself runs from uvx lu-mcp-server. Install the package with pip install cervellaswarm-lingua-universale when you want the CLI or CI checks.
