Identify and remediate unsafe TypeScript type assertions with type-safe alternatives.
npx skills add https://github.com/prisma/prisma --skill no-bare-casts
Please help me install this Agent Skill. Skill: no-bare-casts Source: https://github.com/prisma/prisma/tree/main/skills-contrib/no-bare-casts Command: npx skills add https://github.com/prisma/prisma --skill no-bare-casts
This skill addresses the technical debt and runtime risks associated with unsafe TypeScript type assertions, commonly known as bare casts. It provides a structured decision-making framework to replace dangerous type coercions with safer alternatives like runtime checks or explicit type declarations.
Analyze the current file for any bare as casts and suggest the appropriate replacement based on the provided decision tree.
High-intent search queries and answers about installing and using this skill.
Replace bare TypeScript as casts by applying a structured decision tree that substitutes them with type predicates, satisfies operators, or explicit cast helpers to ensure runtime safety and type integrity.
A bare cast in TypeScript is an unchecked type assertion using the as keyword. It is risky because it bypasses the compiler's type hierarchy, creating technical debt and potential runtime crashes if the actual data shape mismatches the asserted type.
Document necessary type compromises during TypeScript refactoring by using a standardized blindCast mechanism, which provides an auditable escape hatch that requires a documented reason for bypassing strict type safety.
Use type predicates instead of as casts in TypeScript when you need to verify a variable's type at runtime before execution, ensuring the type compromise is explicitly declared, checked, and auditable rather than blindly asserted.
Yes, this type safety approach works with existing static analysis workflows by systematically identifying unsafe assertions and replacing them with robust, type-safe patterns that satisfy strict project linting requirements.
JCETools-PetraGuide TypeScript type modeling, error handling, and strict-mode configuration.
flutterIdentify and resolve Dart static analysis errors and runtime exceptions.
franroaDiagnose type-safety defects in complex TypeScript applications.
ShubhamsabooReview Python code for correctness, type safety, performance, and style.
