What problem does it solve? TypeScript codebases accumulate unsound types, broken tsconfig settings after upgrades, and packages whose types fail for consumers. This Skill provides version-aware rules and workflows to model domains correctly, eliminate any and unsafe casts, fix TypeScript 6/7 configuration breakage, and verify packages before publishing. ## Core Features & Use Cases - Domain type modelling: Replace boolean flag soup with discriminated unions, branded identifiers, exhaustive never checks, and errors-as-data so illegal states fail to compile. - Configuration and upgrades: Fix tsconfig for TypeScript 6.0/7.0 removed options, changed defaults (types, rootDir, module), and choose module/moduleResolution by consumption model. - Type-safety hardening: Inventory and remove any, as casts, and non-null assertions using the narrowing ladder, type predicates, and assertion functions. - Package publishing: Write correct exports maps, emit declarations, and gate releases with publint and arethetypeswrong. - Use Case: After bumping the typescript devDependency, your build fails with removed-option errors and 'Cannot find name process' — the Skill identifies the 7.0 hard errors, rewrites the config explicitly, and explains each change. ## Quick Start Ask the assistant to review your tsconfig.json and package.json for TypeScript 7 compatibility and fix any removed options or missing types entries.