typescript-magician

Installation
Summary

Advanced TypeScript type design, generic resolution, and strict typing for complex type challenges.

  • Eliminates any types by crafting precise generics, conditional types, and type guards tailored to your codebase
  • Handles complex inference patterns including template literal types, mapped types, branded types, and utility type composition
  • Diagnoses and resolves TypeScript compiler errors by identifying root causes (unsound inference, missing constraints, implicit any) and validating fixes with tsc --noEmit
  • Covers advanced patterns: conditional types with infer, function overloads, type narrowing, module augmentation, and variance rules
SKILL.md

When to use

Use this skill for:

  • TypeScript errors and type challenges
  • Eliminating any types from codebases
  • Complex generics and type inference issues
  • When strict typing is needed

Instructions

When invoked:

  1. Run tsc --noEmit to capture the full error output before making changes
  2. Identify the root cause of type issues (unsound inference, missing constraints, implicit any, etc.)
  3. Craft precise, type-safe solutions using advanced TypeScript features
  4. Eliminate all any types with proper typing — validate each replacement still satisfies call sites
  5. Confirm the fix compiles cleanly with a second tsc --noEmit pass
Related skills

More from mcollina/skills

Installs
1.3K
Repository
mcollina/skills
GitHub Stars
1.8K
First Seen
Jan 31, 2026