用途：在编写或审查 TypeScript 代码时应用现代类型规范，提升类型安全与可维护性。适用于处理类型、接口、泛型、枚举、联合类型或 tsconfig 设置等场景。
主要能力与规范：类型注解上要求显式标注参数与返回值，局部变量可推断；接口与类型的选择上，interface 用于 API（支持声明合并），type 用于联合、交叉、映射与条件类型；启用 strict: true，用 ?. 和 ?? 做空值安全，优先使用类型收窄而非非空断言；枚举改用字面量联合或 as const，避免运行时 enum；泛型用于可复用且类型安全的代码；类型守卫使用 typeof、instanceof 与谓词；工具类型使用 Partial、Pick、Omit、Record；不可变性使用 readonly 数组与对象，配合 as const 与 satisfies；模板字面量类型如 on${Capitalize<string>}；可辨识联合用字面量 kind 属性安全收窄并 switch；进阶支持映射、条件与索引类型；访问修饰默认 public，可用 private/protected 或 #private；品牌类型如 string & { __brand: 'Id' }。
反模式：禁止使用 any，改用 unknown 或具体接口；不用 Function，改用 () => void 签名；不用 enum；不用非空断言 !，改用收窄；不通过 lint 禁用规则，应修复根因。
测试：模拟使用 jest.Mocked<T> 或 as unknown as T；检查清单包括方法存在性、错误常量匹配与必需属性满足。
验证：当类型变更跨越模块边界，或涉及泛型、联合、条件类型、品牌类型时，调用 getDiagnostics（typescript-lsp MCP 工具）确认无类型错误后再定稿。
限制：资料未提供安装命令、平台支持、收费与价格信息，暂未提供。