用途：让 TypeScript 代码更安全、更易修改，用类型系统表达真实约束而不增加噪音。适用于审查 TypeScript 代码、选择类型策略、配置严格度以及处理外部数据等场景。
主要能力与规则：优先使用 unknown 而非 any；局部值依赖类型推断；在导出、API 输入输出、公开函数等边界处显式标注类型；项目允许时开启严格编译选项；用可辨识联合表示状态变体；使用前先收窄 unknown 数据；对象形状优先用 interface，联合与工具类型优先用 type；除非跨越已知边界，避免类型断言；运行时校验尽量靠近外部输入。
常见修正：用 unknown 加类型守卫替代 any；用可辨识联合替代成对的布尔状态；当有效值有限时用联合替代宽泛 string；从 schema 推断类型而非重复声明；把可复用的复杂类型提取为具名别名。
应避免：用非空断言掩盖真实的不确定性；在多处重复大型匿名对象类型；串联 as；在应用层代码中使用过深的条件类型；类型比运行时校验更严格。
使用方式：作为技能在代码审查或编写 TypeScript 时调用，按规则检查并输出类型安全问题、更简化的类型模型、边界校验方案，以及相关的编译器或 lint 检查建议。
限制：资料未提供具体平台支持、安装命令、收费方式或自动化执行细节，暂未提供。