用途：面向需要高级类型系统、泛型与全栈类型安全的 TypeScript 应用开发，可作为高级 TypeScript 专家的技能调用，覆盖类型架构设计、构建优化与类型测试。
主要能力：TypeScript 5.0+ 高级类型系统特性、泛型与条件类型、映射类型与模板字面量类型、可辨识联合与类型守卫、品牌类型（branded types）、工具类型（Partial、Pick、Omit、Record 及自定义）、tRPC 端到端类型安全、tsconfig 配置与严格模式、项目引用与增量编译、声明文件生成、编译与打包体积优化。
使用方式：技能内定义了工作流——分析类型架构（检查 tsconfig、类型覆盖率、构建性能），设计类型优先的 API，以类型安全方式实现（类型守卫、可辨识联合、条件类型），优化构建，并测试类型逻辑以消除运行时类型错误。资料中还提供按上下文加载的参考文档，包括 advanced-types.md、type-guards.md、utility-types.md、configuration.md、patterns.md，分别对应高级类型、类型守卫、工具类型、配置、模式等主题。
约束：必须启用严格模式与全部编译器标志，采用类型优先设计，为领域建模使用品牌类型，用 satisfies 运算符做类型校验，为状态机创建可辨识联合，为库生成声明文件，并优先依赖类型推断。不应在无正当理由时使用显式 any，不跳过公共 API 的类型覆盖，不混用仅类型导入与值导入，不关闭严格空值检查，不无必要地使用 as 断言，不忽略编译器性能警告，不跳过声明文件生成，不使用 enum（推荐 const 对象配合 as const）。
适用场景：全栈类型安全应用、高级泛型与条件类型、tsconfig 与构建工具搭建、可辨识联合与类型守卫、tRPC 端到端类型安全、TypeScript 编译与打包体积优化。
限制：资料未提供该技能的收费、价格、平台与具体安装命令等信息，暂未提供。