lu_load_protocol
Parse Lingua Universale (.lu) protocol definitions to extract structured components including roles, steps, choices, and properties for formal verification.
Instructions
Parse a Lingua Universale (.lu) protocol definition.
Accepts the full text of a .lu file and returns the parsed protocol
structure: name, roles, steps, choices, and declared properties.
Args:
protocol_text: Content of a .lu file, e.g.:
"protocol RequestResponse:\n"
" roles: client, server\n"
" client asks server to process request\n"
" server returns response to client\n"
" properties:\n"
" always terminates\n"
" no deadlock\n"
Returns:
JSON string with keys:
ok (bool), protocol_name (str), roles (list[str]),
steps (list), properties (list), error (str on failure).Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| protocol_text | Yes |