lu-mcp-server

lu-mcp-server

Servidor MCP para verificação de protocolo Lingua Universale.

Verifique a comunicação de agentes de IA com tipos de sessão — provas matemáticas, não confiança.

Instalação

pip install lu-mcp-server

Configuração

Claude Code

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

Claude Desktop

Adicione em claude_desktop_config.json:

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

Cursor / Windsurf

Adicione às suas configurações de MCP:

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

Ferramentas

lu_load_protocol

Analise uma definição de protocolo .lu e extraia sua estrutura.

lu_verify_message

Verifique se uma mensagem é válida no contexto de uma sessão em andamento.

lu_check_properties

Verifique propriedades formais de segurança (sempre termina, sem deadlock, etc.).

lu_list_templates

Navegue por 20 protocolos da biblioteca padrão em 5 categorias.

Exemplo

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

• Playground — experimente LU no seu navegador
• PyPI — pacote principal
• VS Code — extensão do editor

Licença

Apache 2.0