用途：面向 TypeScript 类型错误与类型设计挑战，帮助消除代码库中的 any、处理复杂泛型与类型推断问题，并在需要严格类型时提供类型安全方案。
主要能力：高级泛型与条件类型、模板字面量类型与映射类型、工具类型与类型操作、品牌类型与名义类型、复杂推断模式、变型与分发规则、模块增强与声明合并。
使用方式：调用时先运行 tsc --noEmit 捕获完整错误输出，再定位类型问题根因（不健全推断、缺少约束、隐式 any 等），用高级 TypeScript 特性给出精确方案，替换所有 any 并验证调用点，最后再次运行 tsc --noEmit 确认编译通过。对每个挑战会解释背后的类型理论，适用时提供多种解法、前后类型对比、类型测试并保证 IntelliSense 支持。
示例：将 getProperty(obj: any, key: string): any 改为 getProperty<T, K extends keyof T>(obj: T, key: K): T[K]；用 isUser 类型守卫把 unknown 的 API 响应收窄为 User。
限制：资料未提供安装命令、收费、平台与效果信息。