在 Claude 应用里启用「类型标注补全」Skill：打包、上传与使用

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

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

这个技能做什么

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

处理流程分四步：

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

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

在 Claude 应用中的 Skills 中是什么形态

在 Claude 的网页或桌面应用里，同样可以使用以 SKILL.md 为核心的技能包：把文件夹打包上传后，Claude 会在对话相关时自动调用。适合不写代码、但希望每次都按同一套流程处理的场景。

通常在应用设置里的功能或技能相关页面上传 zip 包；可用的套餐、入口位置与管理方式以官方帮助中心为准。

示例配置

type-annotation/
├── SKILL.md
├── scripts/type_annotation.py
└── reference.md      # 可选：团队规范、模板等长资料，按需加载

SKILL.md 示例（示意）：

---
name: type-annotation
description: 为 Python 或 JavaScript 代码逐步补充类型标注并通过类型检查。当用户提到类型标注补全、或给出源码文件并希望得到带类型标注的代码与检查结果时使用。
---

# 类型标注补全

## 输入
- 源码文件
- 若缺少关键信息，先列出需要补充的问题

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

## 输出
- 带类型标注的代码与检查结果
- 末尾附「需人工确认」清单（没有则写“无”）

## 约束
- 改动前确认有测试与版本控制，一次只改一类问题。
- 信息不足时先提问，不要自行编造数据或事实。
- 脚本只在当前项目目录内运行，运行失败时报告错误原文，不要猜测结果。

## 脚本
- 需要解析或批量处理时运行 `python scripts/type_annotation.py <路径>`，读取其输出后再总结

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

安装与启用步骤

在本地按标准结构建好 type-annotation/SKILL.md
把整个文件夹压缩为 zip（压缩包内顶层就是这个文件夹）
在应用设置中找到技能管理入口并上传、启用
新开对话，直接描述任务，看回复里是否体现了 Skill 的步骤
根据效果修改 SKILL.md，重新打包上传

实操：一次完整的运行

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

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

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

测试与验收

准备一份真实但已脱敏的样例，连续跑三次，看输出结构是否稳定、是否都附带了需人工确认的清单。

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

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

常见坑

压缩包多套了一层目录，导致上传后识别不到 SKILL.md。
上传了含有内部敏感信息的参考文件；技能包里的资料要按对外材料的标准审一遍。
只写了步骤，没写交付格式，导致每次输出的带类型标注的代码与检查结果结构不同。
没有给出样例，智能体对“好结果”的理解与你不一致；在参考资料里放一两份范例会明显改善。

延伸阅读

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