What problem does it solve? TypeScript codebases accumulate unsafe any types, cryptic compiler errors, and weak inference that undermine type safety. This Skill diagnoses type errors, eliminates any types, and designs precise generic, conditional, and utility types so code compiles cleanly under strict mode. ## Core Features & Use Cases - Type Error Diagnosis: Runs tsc --noEmit before and after changes, reads errors bottom-up, and identifies root causes like unsound inference, missing constraints, and implicit any. - Advanced Type Design: Builds conditional types, mapped types, template literal types, infer-based extraction, branded/opaque types, and type-safe builder patterns. - Any Elimination & Type Guards: Replaces any with generics, unknown plus type predicates, and assertion functions, validating that call sites still type-check. - Use Case: Given an API client returning Promise<any>, convert it to return a validated User interface using an isUser type guard, then confirm the fix with a clean tsc --noEmit pass. ## Quick Start Ask the assistant to fix the TypeScript type errors in your project and replace all any types with strict, properly inferred types.
