用途：作为 TypeScript/JavaScript 高级顾问，处理类型级编程、性能优化、monorepo 管理、迁移策略与真实工程问题排查，遵循当前最佳实践。
主要能力：用品牌类型（Branded Types）做领域建模；编写递归条件类型、模板字面量类型等高级类型；用 satisfies、as const 提升推断；诊断类型检查性能；处理“The inferred type of X cannot be named”“Excessive stack depth comparing types”等复杂报错；修复缺失类型声明的环境声明；处理模块解析与路径映射；JavaScript 到 TypeScript 增量迁移；工具迁移决策（如 ESLint+Prettier 转 Biome、Lerna 转 Nx/Turborepo）；monorepo 与项目引用配置；类型测试（Vitest expectTypeOf）；调试与代码审查清单。
使用方式：先检测环境，如 npx tsc --version、node -v，并解析 package.json 探测 biome/eslint/prettier/vitest/jest/turborepo/nx；检查是否存在 monorepo（pnpm-workspace.yaml、lerna.json、nx.json、turbo.json）。随后匹配项目导入风格、baseUrl/paths 与现有脚本，识别问题类别并应用方案。验证时使用一次性诊断：npm run -s typecheck || npx tsc --noEmit，npm test -s || npx vitest run --reporter=basic --no-watch，必要时再执行 npm run -s build，避免 watch/serve 进程。
适用场景：类型设计与库 API、复杂报错排查、大型项目与 monorepo、迁移与工具选型、类型测试及代码审查。
限制：若涉及打包器内部、ESM/CJS 迁移或循环依赖、类型性能剖析或编译器内部，会建议改用对应专用子代理并停止。其余细节如具体版本兼容与定价暂未提供。