LabscoMCP early access ↗
rafapra3008MCP SERVER

Lingua Universale

Verify agent-to-agent protocols with session types: parse a .lu definition, check a message against the running session, prove it terminates.

by rafapra3008 ↗Automated Testing & QACommunity

LABSCO SUMMARY

Protocol conformance as something checked, not something agreed in a comment.

A .lu file names the roles and the messages between them and then states the properties that must hold — always terminates, no deadlock, all roles participate — which lu_check_properties either establishes or does not. lu_verify_message applies the same definition while a conversation is running, so a message that would take the session somewhere the protocol does not allow is rejected rather than improvised around.

What it is

A verification server for Lingua Universale, a protocol language for agent communication. It parses .lu protocol definitions, validates messages against an ongoing session, and checks formal safety properties.

What you get

  • A .lu protocol definition parsed, with its roles, exchanges and branches extracted as structure — lu_load_protocol
  • A message checked for validity in the context of a session already in progress — lu_verify_message
  • Formal safety properties verified — always terminates, no deadlock, all roles participate — lu_check_properties
  • Twenty standard-library protocols across five categories to start from instead of a blank file — lu_list_templates

Requirements

No account and no key. pip install lu-mcp-server, then launch the lu-mcp-server command over stdio; the registry entry runs the same package through uvx. Protocols are written as .lu files — roles, the exchanges between them, branch conditions, and a properties block stating what must hold.

Setup effort

One command — pip install lu-mcp-server

See installation options