TypeScript Generic Type Constraint Validator
Analyzes TypeScript generics to catch over-constrained or under-constrained type parameters that could cause runtime errors.
The Prompt
Free accounts also get the weekly newsletter.
Related prompts
Extract Type Safety Gaps From TypeScript Codebase
Finds TypeScript files where `any` types, missing type annotations, or unsafe casts hide potential runtime errors.
Type Safety Regression Detector
Finds TypeScript type errors introduced in recent commits and suggests fixes.
Cursor: Find Every Type Cast That Discards Information
Locate all coercions and casts that silently lose precision, nullability, or domain meaning at runtime.
Find Every Type Cast That Skips Validation
Locates all forced type casts and assertions in your codebase that bypass runtime validation and hide real bugs.
Pairs with, from the journal