用途：对 TypeScript 代码做类型安全审计，借助类型系统在编译期发现缺陷、防止运行时类型错误，并保持 API 边界上的类型安全。资料称应在提交代码前使用。
主要检查项（被列为关键违规，会阻断提交）：any 类型使用，采取零容忍；缺少品牌类型（branded types），ID 应使用品牌类型；缺少运行时校验，API 边界需要校验；类型断言，倾向使用类型守卫；不安全的 null 处理，检查 null/undefined；泛型约束过弱，泛型需要约束；tsconfig 未启用严格模式，必须开启 strict。
使用方式：资料未提供具体安装命令或调用步骤，仅说明附带详细检查内容与代码示例、理由，见 references/CHECKS-REFERENCE.md 文件。该文件包含详细检查项。另提供 Hermes 代码审查者的类型安全模式相关内容。
适用场景：需要在提交前对 TypeScript 项目做类型安全把关时。
限制：资料未说明支持平台、依赖、是否收费、版本要求，也未给出配置或集成方法；除上述检查项外未提供更多功能说明。