导语:Aptos 宣布推出一套人工智能工具,旨在帮助编程助手直接基于官方文档理解 Move 语言,减少手动复制粘贴,并改善主流 AI 模型对 Move 支持不足的问题。
该区块链项目表示,这套工具面向希望使用熟悉 AI 助手来编写、搭建和审计 Move 智能合约的开发者。与 JavaScript 和 Python 相比,Move 仍属小众语言,主要基于前两者训练的 AI 模型往往难以处理其语法和安全模型。
MCP 服务器成为核心
核心组件是 Aptos Model Context Protocol(MCP)服务器。据 Aptos 文档站点介绍,该服务器允许 AI 工具调用 Aptos API,并用自然语言查询链上数据。开发者可以用普通英语描述需求,由助手处理 API 连接细节。文档称,MCP 服务器还支持编码和项目脚手架。安装通过单条 npx 命令完成,并可与 Claude Code、Cursor、OpenAI Codex 和 GitHub Copilot 等主流 AI 编程工具配合使用。
文档源与代理技能
Aptos 还推出标准化的 LLMs.txt 源,将 Aptos 文档转换为大语言模型可干净读取的机器可读文本,提供完整版和精简版。第三部分是 Aptos Agent Skills,覆盖编写安全的 Move V2 合约、执行严格安全审计,以及生成 100% 覆盖率的测试。
Move 的起源与安全重点
Move 最初为 Facebook 的 Diem 项目开发。Diem 结束后,该语言在 Aptos 上获得新生。它围绕资源安全和形式化验证构建。资源安全将数字资产视为不能意外复制或悄悄删除的物理对象;形式化验证则允许通过数学方式检查代码是否按预期运行。
这并非 Aptos 首次尝试连接 AI 与 Move。2024 年,该项目曾与 FLock.io 合作,改进 AI 模型与该语言的交互方式。新工具建立在此前基础之上。
实际影响与风险
对开发者而言,实际变化是入门路径更短。开发者无需手动将文档输入聊天机器人,而是可以让熟悉的助手连接 Aptos,查询实时链上数据、搭建项目并起草合约。
智能合约漏洞代价高昂,且部署后往往不可更改。推动 AI 遵循安全的 Move V2 模式、审计和完整测试覆盖率的工具,正瞄准加密项目历史上容易出问题的环节。但需要注意,AI 生成的代码质量取决于人工审查。能更快编写合约的助手,也可能更快写出错误。专注审计和测试的代理技能似乎旨在降低这一风险,但不能替代人工审查。
