lu-mcp-server

lu-mcp-server

Servidor MCP para la verificación de protocolos de Lingua Universale.

Verifica la comunicación de agentes de IA con tipos de sesión: pruebas matemáticas, no confianza.

Instalación

pip install lu-mcp-server

Configuración

Claude Code

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

Claude Desktop

Añade a claude_desktop_config.json:

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

Cursor / Windsurf

Añade a tu configuración de MCP:

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

Herramientas

lu_load_protocol

Analiza una definición de protocolo .lu y extrae su estructura.

lu_verify_message

Comprueba si un mensaje es válido en el contexto de una sesión en curso.

lu_check_properties

Verifica propiedades formales de seguridad (terminación garantizada, ausencia de interbloqueos, etc.).

lu_list_templates

Explora 20 protocolos de la biblioteca estándar en 5 categorías.

Ejemplo

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

Enlaces

• Playground -- prueba LU en tu navegador
• PyPI -- paquete principal
• VS Code -- extensión de editor

Licencia

Apache 2.0