用途：在编写、修改、重构、审查或调试 TypeScript 代码时，引导 AI Agent 产出类型安全、易维护且具备高级元编程能力的代码，同时规避 ESM/CJS 互操作等运行时问题。
主要能力：覆盖 tsconfig/编译器选项、strict 模式、泛型、类型收窄、类与函数设计、泛型约束与型变、从类型生成高级类型、结构兼容性、装饰器以及 ESM/CJS 互操作。技能内置三类参考文件，按任务领域渐进加载以节省上下文：基础、收窄、类与函数设计加载 type-system-basics.md；泛型约束、型变与高级类型加载 advanced-meta-types.md；结构兼容、装饰器与 ESM/CJS 互操作加载 compatibility-and-interop.md。
使用方式：执行静态代码与类型安全审查 SOP。第一步感知项目环境，检查 tsconfig.json 中 strict、strictNullChecks、strictFunctionTypes 的配置，并识别目标模块格式与 moduleResolution。第二步按技术领域加载对应参考文件，避免一次性全部加载。第三步生成或修改代码，确保符合已加载指南，例如不声明可选回调参数、泛型类型参数至少出现两次以建立关联；对高级类型生成，建议基于 evals 配置编写清晰的单元测试断言。
已知陷阱：readonly 仅限制属性本身赋值，引用对象或数组的内部成员仍可变，且 readonly 对象可赋给可写别名从而绕过编译器检查；仅开启 allowSyntheticDefaultImports 而不开启 esModuleInterop，代码可通过编译期类型检查，但因转译输出缺少 __importDefault 辅助函数，会在运行时立即崩溃（TypeError: default is not a function）；库作者使用 export default 会迫使 Node.js ESM 消费者调用 .default() 访问模块，推荐完全放弃 export default，改用 export = 或具名导出。
适用场景：TypeScript 项目的编码、审查、调试与架构设计，尤其是严格模式配置、泛型与高级类型、模块互操作问题排查。
限制：资料未提供具体安装命令、收费方式、支持平台或效果数据，暂未提供。