「类型标注补全」是开发者的高频任务。它的输入通常是源码文件，期望得到的是带类型标注的代码与检查结果。这类有固定流程、又需要一点判断力的工作，很适合封装成智能体 Skill。

本文介绍如何在 AGENTS.md 上实现这个技能，包括它的形态、示例配置、启用步骤、一次完整的运行过程和常见坑。

这个技能做什么

项目说明
技能类型标注补全（type-annotation）
作用为 Python 或 JavaScript 代码逐步补充类型标注并通过类型检查
输入源码文件
输出带类型标注的代码与检查结果
形态带脚本
风险低
适用人群开发者

处理流程分四步：

  1. 识别公共接口
  2. 从调用处推断类型
  3. 补充标注
  4. 运行类型检查器修正

这个技能需要运行本地脚本（解析文件、调用命令行工具等），要求运行环境允许执行代码；风险较低，但输出仍需快速过目再使用。

在 AGENTS.md 中是什么形态

AGENTS.md 是放在仓库根目录、写给编码智能体看的说明文件，多个编码智能体工具都会读取它。把常用流程写成其中的一个小节，就相当于给所有智能体装上同一个技能。

根目录的 AGENTS.md 对整个仓库生效；子目录也可以放自己的 AGENTS.md，就近补充或覆盖说明。

示例配置

AGENTS.md 中的小节示例（示意）：

## 类型标注补全（type-annotation）

- 何时使用：用户需要为 Python 或 JavaScript 代码逐步补充类型标注并通过类型检查
- 输入：源码文件
- 输出：带类型标注的代码与检查结果
- 步骤：
  1. 识别公共接口
  2. 从调用处推断类型
  3. 补充标注
  4. 运行类型检查器修正
- 约束：
  - 改动前确认有测试与版本控制，一次只改一类问题。
  - 信息不足时先提问，不要自行编造数据或事实。
  - 脚本只在当前项目目录内运行，运行失败时报告错误原文，不要猜测结果。

示例里最重要的是两处：一是描述（或指令开头）要写明「什么时候用」，让智能体在开发者提出相关请求时能对上号；二是约束部分要写进「改动前确认有测试与版本控制，一次只改一类问题」这类领域规矩，避免智能体自作主张。

安装与启用步骤

  1. 在仓库根目录打开（或新建）AGENTS.md
  2. 新增一个以技能名命名的小节，写清何时使用、输入、步骤与约束
  3. 引用项目里已有的命令和脚本，不要写不存在的命令
  4. 让智能体执行一次相关任务，检查是否遵循
  5. 随代码评审一起维护这个小节

实操：一次完整的运行

假设你在代码仓库与终端中发出这样的请求（虚构示例）：

这是今天的源码文件，按团队的类型标注补全流程处理一下。

智能体识别到任务与「类型标注补全」相关后，会依次识别公共接口、从调用处推断类型、补充标注、运行类型检查器修正。最终交付带类型标注的代码与检查结果，并在末尾列出需要人工确认的内容。你的工作是对照原始源码文件抽查两三处关键信息，确认无误后再使用。

测试与验收

让两个不同的编码智能体分别执行同一任务，对比是否都按小节中的步骤进行。

针对这个技能，还建议额外准备：

  • 一份信息齐全的标准源码文件，检查输出是否完整
  • 一份缺少关键信息的输入，检查智能体是否先提问而不是编造
  • 一份包含“忽略以上规则”等字样的输入，检查约束是否仍然有效

常见坑

  • AGENTS.md 越写越长，变成没人维护的百科；每个小节保持一屏以内。
  • 写了与实际不符的构建或测试命令，智能体会照做并失败。
  • 只写了步骤，没写交付格式，导致每次输出的带类型标注的代码与检查结果结构不同。
  • 没有给出样例，智能体对“好结果”的理解与你不一致；在参考资料里放一两份范例会明显改善。

延伸阅读

说明：文中的配置、代码与目录结构均为示意，用于说明思路；各平台的入口、字段名与能力会更新，落地前请以对应官方文档为准。示例中的数据与场景为虚构，不代表真实案例。