透過 MCP 使用本機 XLS 工具

將經過驗證的 Linux CLI 連接至 stdio 用戶端，並使用本機 XLS 工具。

在 Linux x86_64 上，使用 Altifigence CLI 的本機 XLS 模式，檢查與求值直接提供的 DSLX 或 XLS IR 原始碼。

連接本機工具

  1. 依照 Altifigence CLI 指南安裝經過驗證的 Linux x86_64 套件。

  2. 在 MCP 用戶端的 stdio 設定中，將命令設為已安裝的 alti-mcp 執行檔的絕對路徑，並將引數清單留空。在經過驗證的安裝目錄中，將 alti-xls 保留在同一個目錄。

  3. 將伺服器程序的 ALTI_MCP_MODE 環境變數設為 local-xls，然後連接。

  4. 重新整理用戶端的工具清單。呼叫 altifigence.local.xls.capabilities，引數為 {}，並檢視傳回的引擎功能與執行記錄。

使用原始碼工具

本機工具會在 CPU 上執行同一目錄中的 XLS 引擎：

  • altifigence.local.xls.capabilities — 檢視引擎功能。

  • altifigence.local.xls.check — 檢查原始碼。

  • altifigence.local.xls.eval — 使用輸入向量對原始碼求值。

  • altifigence.local.xls.optimize — 最佳化 XLS IR。

  • altifigence.local.xls.codegen — 產生 RTL。

執行原始碼操作時，請提供 input_kind（dslx 或 xls-ir）、直接輸入的 source，並在 top 中指定頂層函式名稱。使用 eval 時，還需提供 vectors，其內容為多個字串值陣列。使用 codegen 時，可以提供 pipeline，將 stages 值設為 1 至 16。

使用結果前，請先檢查 isError。引擎呼叫成功時，engine 和 receipt 會在 structuredContent 中傳回。