Altifigence 通过 MCP 拓展 AI 与开发工具的连接

Altifigence 通过 MCP（Model Context Protocol）将兼容的 AI 客户端与本地硬件开发工具连接起来。Altifigence CLI 的本地 XLS 模式让这一连接支持源代码检查、求值、优化和 RTL 生成。设计者可以在同一个客户端中，从与助手讨论一段硬件源代码，接续到调用已安装的工具并读取结果。

面向硬件源代码的本地连接

MCP 是连接 AI 应用程序与工具的标准。在这个工作流程中，AI 客户端会启动已安装的 alti-mcp 进程，并通过标准输入和输出交换请求与响应。选择 ALTI_MCP_MODE=local-xls 会将该进程连接到位于同一位置的 alti-xls 引擎。引擎在本地 CPU 上执行源代码操作，其响应会连同执行回执一起返回客户端。

起始材料是内联的 DSLX 或 XLS IR 源代码，以及其顶层函数的名称。这些输入让请求的对象明确：客户端发送要检查的源代码、标明其格式，并指定要使用的函数名称。设计者可以聚焦于该源代码进行讨论，并将返回的结果与预期行为进行比较。

连接您的 AI 客户端

按照 Altifigence CLI 指南安装已验证的 Linux x86_64 CLI 软件包。请将 alti-mcp 和 alti-xls 保留在安装环境中的同一位置。
在 MCP 客户端的 stdio 设置中，将命令设为已安装的 alti-mcp 可执行文件的绝对路径，并将参数列表留空。
将服务器进程的 ALTI_MCP_MODE 环境变量设为 local-xls，连接后刷新客户端的工具列表。
使用 {} 调用 altifigence.local.xls.capabilities。选择源代码操作前，请先阅读引擎功能与执行回执。

这项设置让客户端可以按名称请求一组操作。capabilities 响应很适合作为与助手一起查看的第一项内容：它会描述您所选安装环境中可用的引擎，因此可以根据该引擎的响应提出下一个请求。

检查、求值与 RTL 生成

本地目录包含五项工具：altifigence.local.xls.capabilities、altifigence.local.xls.check、altifigence.local.xls.eval、altifigence.local.xls.optimize 和 altifigence.local.xls.codegen。它们分别提供查看功能、检查源代码、对输入向量求值、优化 XLS IR 和生成 RTL 的步骤。请根据您想弄清的设计问题选择操作。

进行源代码操作时，将 input_kind 指定为 dslx 或 xls-ir，将内联源代码放入 source，并在 top 中指定顶层函数的名称。
求值时，以字符串值数组的形式添加 vectors。准备要查看的输入，调用 altifigence.local.xls.eval，然后读取引擎返回的结果。
处理 XLS IR 时使用 altifigence.local.xls.optimize，生成 RTL 则使用 altifigence.local.xls.codegen。codegen 请求可以包含带有 stages 值的 pipeline。
使用响应前，请先阅读 isError。引擎调用成功时，请查看 structuredContent 中的 engine 和 receipt，将结果与执行记录保存在一起。

面向审查数字逻辑的设计者

硬件开发者可以通过这个工作流程，将与 AI 的讨论连接到具体的源代码与工具输出。例如，准备一个函数和一组输入向量，讨论预期行为，接着对这些向量求值并查看返回的结果。您提供的源代码与收到的引擎响应，就是做出下一个设计决策时可用的材料。

同时也编写数字逻辑的 DDS、ALcad 和 vFactory 用户，可以在检查函数或生成 RTL 时使用相同的本地源代码工作流程。这对于围绕具名函数的审查尤其有用：源代码、顶层函数、求值输入与执行回执，让所有人都有具体的讨论材料。

进一步了解并开始使用

如需客户端设置、工具名称与请求字段，请参阅本地 XLS MCP 指南。请使用Altifigence CLI 指南准备已验证的 Linux 安装环境，或前往下载查找软件与安装指导。从 capabilities 调用开始，接着选择一小段源代码并查看其结果。