lu-mcp-server

Verify AI agent communication with session types and formal proofs

GitHub

lu-mcp-server

PyPI Tests Glama License

MCP server for Lingua Universale protocol verification.

Verify AI agent communication with session types -- mathematical proofs, not trust.

Install

pip install lu-mcp-server

Configure

Claude Code

claude mcp add lu-mcp-server -- lu-mcp-server

Claude Desktop

Add to claude_desktop_config.json:

{
  "mcpServers": {
    "lu-mcp-server": {
      "command": "lu-mcp-server"
    }
  }
}

Cursor / Windsurf

Add to your MCP settings:

{
  "lu-mcp-server": {
    "command": "lu-mcp-server"
  }
}

Tools

lu_load_protocol

Parse a .lu protocol definition and extract its structure.

lu_verify_message

Check if a message is valid in the context of an ongoing session.

lu_check_properties

Verify formal safety properties (always terminates, no deadlock, etc.).

lu_list_templates

Browse 20 standard library protocols across 5 categories.

Example

protocol OrderProcessing:
    roles: customer, warehouse, payment
    customer asks warehouse to check availability
    warehouse returns stock status to customer
    when customer decides:
        in_stock:
            customer asks payment to process order
            payment returns confirmation to customer
        out_of_stock:
            customer sends cancellation to warehouse
    properties:
        always terminates
        no deadlock
        all roles participate

Links

License

Apache 2.0

相关服务器