通过 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 中返回。