用途：在编写 TypeScript 代码、定义数据结构、使用泛型或需要类型安全模式时加载，提供严格类型写法与最佳实践。
主要能力：给出可复用的类型模式，包括用 as const 对象派生联合类型（typeof OBJ[keyof typeof OBJ]）、扁平可组合接口、用 unknown 配合类型守卫或泛型替代 any、判别联合（如 ApiResponse<T>）、类型守卫（value is Type）、import type 仅类型导入、Readonly 与 as const 不可变结构，以及 Pick、Omit、Partial、Required、Record、Extract、ReturnType、Parameters 等工具类型用法。
规则与限制：禁止使用 any，改用 unknown 加类型守卫或泛型；@ts-ignore 仅作最后手段并需附说明注释；类型导入用 import type 以保证编译期擦除；枚举与字符串字面量优先用 as const 对象而非纯联合类型；非空断言 ! 前必须有紧邻的空值检查；接口应保持扁平可组合，避免深层内联嵌套类型。
适用场景：TypeScript 项目中的类型定义、数据建模、泛型与类型安全重构。具体安装方式、运行命令与平台支持暂未提供。