Browse skills

This skill intelligently handles complex function overloads and type constraints by applying conditional types, streamlining code and improving type safety.

Translates complex JavaScript code into equivalent TypeScript, leveraging advanced ES features for improved type safety and maintainability.

Analyzes Kotlin code to identify potential null pointer exceptions and suggests safe coding practices.

Analyzes Rust code's memory safety properties based on Hoare logic principles to identify potential issues.

Ensures robust TypeScript code with strict type checking and error prevention, improving backend reliability.

Reviewing Type Safety — provides AI agent assistance for software development workflows.

Generates robust Java code utilizing generics to ensure type safety and reduce boilerplate in backend applications.

Helps with refactoring, testing as part of developing backend services and APIs workflows.

This skill automatically fixes common TypeScript type errors in your code, boosting development speed and ensuring robust type safety.

Ensures NASA TypeScript code adheres to strict type safety guidelines, preventing errors and improving reliability.

Ensures Python code using pv-udpv adheres to strict type safety for robust and reliable backend functionality.

Generates, analyzes, and refactors TypeScript code within existing projects, ensuring type safety and best practices.

Enforcing Type Safety — provides AI agent assistance for software development workflows.

Analyzes text reviews to identify potentially unsafe content like threats, hate speech, or illegal activity.

Provides the complete Swift Concurrency Migration Guide. Use when migrating to Swift 6, resolving data-race safety errors, understanding Sendable and actor isolation, or incrementally adopting async/a

Ensures TypeScript code adheres to strict type safety rules & best practices, preventing runtime errors.

Ensures robust, error-free TypeScript code by enforcing strict type checking and suggesting best practices for backend development.