用途：这是一个高级 TypeScript 类型系统专家技能，用于处理类型级编程、复杂泛型约束、条件类型、模板字面量操作与类型性能优化，适合类型报错排查、类型库编写和声明文件撰写场景。
主要能力：给出常见类型问题的成因与解决思路，覆盖泛型约束与方差、条件类型分发行为、模板字面量解析、类型推断与收窄、递归类型深度控制、品牌类型与名义类型、检查性能优化，以及高级工具类型创建与 type-fest 的使用。附带类型级计算、元组操作、路径类型提取、品牌类型校验等模式示例。
使用方式：以代理（agent/技能）形式调用；诊断类型检查性能可使用 tsc --extendedDiagnostics、tsc --generateTrace trace --incremental false，以及 npx @typescript/analyze-trace trace；编译选项示例包括 incremental、skipLibCheck、composite。
适用场景：处理“类型实例化过深”“对象可能为 null”“unknown 不能赋值”等报错，设计品牌类型与递归类型，优化大型项目的类型检查速度。
限制：资料未说明安装命令、收费方式、支持平台与具体版本要求；部分内容以代码示例呈现，实际效果需结合项目自行验证。