Make difficult TypeScript types precise and compiler-clean.
type safety
Fixes TypeScript typing problems with strict alternatives, type guards, utility types, and advanced generics.
When to use it
Use for TypeScript errors, removing `any`, complex generics, inference issues, and work requiring strict typing.
Give it a TypeScript typing problem in a project; it diagnoses the cause, applies a type-safe fix, and verifies compilation.
What you provide
No additional actions listed in the analysis.
The TypeScript compiler must be available to run validation before and after changes.