Usar ferramentas XLS locais por MCP

Conecte a CLI verificada para Linux a um cliente stdio e use as ferramentas XLS locais.

No Linux x86_64, use o modo XLS local da Altifigence CLI para verificar e avaliar código-fonte DSLX ou XLS IR fornecido diretamente.

Conectar as ferramentas locais

  1. Instale o pacote verificado para Linux x86_64 descrito no guia da Altifigence CLI.

  2. Nas configurações stdio do seu cliente MCP, defina o comando como o caminho absoluto do executável alti-mcp instalado e deixe a lista de argumentos vazia. Mantenha alti-xls na mesma pasta na instalação verificada.

  3. Defina a variável de ambiente ALTI_MCP_MODE do processo do servidor como local-xls e conecte-se.

  4. Atualize a lista de ferramentas do cliente. Chame altifigence.local.xls.capabilities com {} e examine os recursos do mecanismo e o comprovante de execução retornados.

Usar as ferramentas de código-fonte

As ferramentas locais executam na CPU o mecanismo XLS localizado na mesma pasta:

  • altifigence.local.xls.capabilities — Examine os recursos do mecanismo.

  • altifigence.local.xls.check — Verifique o código-fonte.

  • altifigence.local.xls.eval — Avalie o código-fonte com vetores de entrada.

  • altifigence.local.xls.optimize — Otimize XLS IR.

  • altifigence.local.xls.codegen — Gere RTL.

Para uma operação de código-fonte, forneça input_kind (dslx ou xls-ir), o código-fonte diretamente em source e o nome da função principal em top. Para eval, forneça também vectors como arrays de valores de texto. Para codegen, você pode fornecer pipeline com um valor de stages de 1 a 16.

Verifique isError antes de usar o resultado. Uma chamada bem-sucedida ao mecanismo retorna engine e receipt em structuredContent.