Type-System Audit 是一个针对代码库类型系统的审计技能，用近期修复缺陷的提交作为硬证据，而非猜测，找出哪些类型允许了导致真实缺陷的非法状态，并建议更严格的类型以预防同类缺陷。所有发现都绑定到具体提交以增强可信度。主要能力包括：识别语言与类型系统，从 git 提交中筛选修复类提交，逐提交检查差异，收集证据，生成含 7 个字段的单条发现模板，并输出提交审查、最强发现、更严格类型可预防的缺陷、可被更严格类型替代的测试或守卫、优先类型重构等章节。
使用方式：先用 git log --oneline --since="90 days ago" 配合 grep 筛选修复类提交，优先常规提交，结果不足时改用更宽的关键词或扩展到 180 天；用 git show {sha} --stat 查看改动范围，必要时限定语言文件；对候选提交用 git show {sha} -- '*.ts' 等查看差异；必要时用 git show HEAD:path/to/type.ts 检查弱点是否仍存在。发现需引用具体提交 SHA，偏向 5 到 8 条有深度证据的发现，合并重复缺陷，不给出泛泛建议或纯风格清理。
适用场景包括：审计仓库类型系统弱点、排查频繁出现的空值崩溃、审查类型安全。限制：若没有找到修复提交、提交中无类型相关发现、语言无静态类型系统或仓库使用压缩合并，需按对应方式调整或改审运行时校验；大型差异可仅读取类型定义文件并跳过自动生成文件。具体收费、价格、平台、效果等资料暂未提供。