用途：该技能用于指导开发者编写类型安全的 TypeScript 代码，覆盖前端与后端场景，利用类型系统在编译期捕获错误。
主要能力：
- 处理 unknown 类型并实现类型守卫（type predicate），避免使用 any。
- 使用可辨识联合（discriminated unions）处理多态数据，并在 switch 中做穷尽性检查。
- 条件类型、映射类型、模板字面量类型、函数重载、const 断言等高级特性。
- 常用工具类型：NonNullable、Extract、Exclude、Record、Pick、Omit、Partial、Readonly、ReturnType、Awaited。
- 类型收窄：typeof、instanceof、in 操作符。
- 推荐的 tsconfig 严格配置（strict、noUncheckedIndexedAccess、noImplicitOverride 等）。
- 常见类型错误（可能为 null、不可赋值）的解决方式。
- 模块化单体下的上下文专属类型设计，避免共享泛型造成耦合。
使用方式：在编写任意 TypeScript 代码时主动应用这些规则；优先用 unknown 加类型守卫；启用严格模式；用 const 断言生成字面量类型。开发流程与质量门禁（提交前检查、bun 命令）需参考 project-workflow 技能。
适用场景：前后端 TypeScript 项目的类型定义、运行时校验、API 返回类型处理等。
限制：资料未提供具体安装命令、收费信息、平台支持范围或性能效果数据，暂未提供。