用途：对 TypeScript 项目进行类型建模与代码审查，目标是写出更安全、可维护的类型，并在改动区域消除不合理的 any、类型断言和 ! 非空断言。
工作流程：先读取 tsconfig、package 的 type 字段、打包器、运行时与相关版本，确认编译与运行环境；识别不可信边界与公开类型；用联合类型、类型收窄和不变式建模合法状态；内部尽量推导类型，仅在契约需要稳定处为 API 标注类型；在改动区域清理无依据的 any、断言和 !；外部数据先做运行时校验再赋予类型；在真实目标上运行 typecheck、测试、lint 与 build。
约定：启用兼容的 strict 选项，并通过修正真实类型错误而非装饰性类型转换来解决问题；优先使用可辨识联合，避免用布尔组合表达非法状态；边界使用 unknown 并显式收窄；泛型保持最小且绑定真实的值关系；在不破坏互操作时用字面量对象或联合替代 enum；区分 type-only import，并遵守项目的 ESM/CJS 约定；当推断回归影响显著时对公开类型编写类型测试。
验证：执行不产出文件的 typecheck，并构建全部目标；对运行时校验与序列化编写运行时测试；若是库，检查 API 声明文件与使用方兼容性；定点搜索 suppression、双重断言和重复类型。另需阅读 references/standards.md 了解建模、配置、模块、库与运行时校验的细节。
限制：该资料未提供具体命令、依赖版本、示例代码或收费信息，相关细节暂未提供。