用途：这是一套高级 TypeScript 类型模式参考，目标是用类型系统在编译期拦截运行时错误，围绕 strict 模式展开，涵盖类型推断、类型收窄与编译期校验。它不是入门教程。
主要能力：工具类型（Pick、Omit、Partial、Required、Record、Extract、Exclude、ReturnType、Parameters、Awaited）；泛型约束、推断、默认参数与变型；类型守卫与收窄（typeof、instanceof、in、自定义守卫、断言函数、可推断谓词过滤器）；判别联合与穷尽匹配（never 检查）；条件类型（分布式条件、infer）；映射类型（键重映射、模板字面量、修饰符）；严格模式相关（noUncheckedIndexedAccess、exactOptionalPropertyTypes、as const、satisfies、NoInfer、const 类型参数）；模块模式（内联类型导入 import { type User }、声明文件、模块扩充 declare module）。
适用场景：类型安全 API、复杂数据转换、库编写、通过类型避免运行时错误、使用严格模式标志。
使用方式与常见纠错：资料给出模式与 API 对照表，例如用 unknown 加类型守卫替代无理由的 any、用 satisfies 保留窄类型而非 as 强转、用 never 检查处理联合穷尽性、避免 value as const satisfies Type（先 satisfies 再按需 as const）。还提到可将模式发现、类型错误调试、类型安全审查委派给相应 agent 或 code-reviewer 技能。
限制：不适用于 TypeScript 基础学习（原始类型、接口、类）、JavaScript 迁移指导、工具链搭建或构建配置。资料未提供安装命令、收费与价格信息，暂未提供。