用途：对 TypeScript 等类型化代码做只读类型安全审查，找出让 bug 漏过的类型漏洞，并推动把运行时检查前移到编译期。
主要能力：覆盖 any/unknown 滥用、隐式 any、类型断言与非空断言、无效状态可表示、原始类型偏执（如 userId 与 orderId 都是 string）、缺失类型守卫与穷尽性检查、字符串化 API、过宽泛型约束、可选与 undefined 混淆等类别；按 Critical/High/Medium/Low 分级，并输出含位置、证据、影响与修复代码的报告。
使用方式：先确定范围——用户指定文件/目录则审查这些路径，否则默认对比 origin/main 或 origin/master（git diff origin/main...HEAD && git diff）；范围不清或无变更时先询问用户。随后读取 tsconfig.json、pyproject.toml、mypy.ini 等了解严格度，完整读取文件而非仅看 diff，再分析类型漏洞。
适用场景：代码变更的类型安全评审、指定路径的类型审计。
限制：只读，不得修改代码；默认只报告本次变更引入的问题，预存问题不在范围内；不报告运行时 bug、代码组织、文档、测试覆盖等（由其他技能处理）；测试文件中的 any 不标记；非严格模式代码库不强制严格模式；需高置信度且能证明会引发 bug 才报告。