skills.rest
troykelly
troykellyCOMMUNITY
Explore all skills by this author →
Website𝕏@troykellyGitHub

strict-typing

Enforce explicit type definitions and prohibit type escapes in TypeScript, Python, Go, and Java.

10|Updated Jan 7, 2026
Search Tags:#code quality#typescript#developer tools#python#strict typing#typing
One-click install
npx skills add https://github.com/troykelly/codex-skills --skill strict-typing
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: strict-typing
Source: https://github.com/troykelly/codex-skills/tree/main/skills/strict-typing
Command: npx skills add https://github.com/troykelly/codex-skills --skill strict-typing

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This Skill addresses the common issue of type-related bugs and runtime errors in statically typed languages by enforcing strict typing rules, eliminating any, unknown, and untyped escapes.

Core Features & Use Cases

  • Eliminates Type Escapes: Prevents the use of any, unknown, or equivalent type escapes in languages like TypeScript and Python.
  • Enforces Explicit Typing: Mandates the provision of explicit, accurate types for all variables, function parameters, and return values.
  • Use Case: When developing a new feature in a TypeScript project, this skill ensures that all new code adheres to strict typing, preventing potential null or undefined errors and improving code maintainability.

Quick Start

Ensure all new TypeScript code strictly adheres to the typing rules defined in this skill.

Frequently Asked Questions about strict-typing

High-intent search queries and answers about installing and using this skill.

FAQPage Schema
How do I enforce strict typing and eliminate 'any' in TypeScript?▼

Enforce strict typing in TypeScript by mandating explicit type definitions for all variables and return values, prohibiting 'any' or 'unknown' escapes to prevent runtime errors and enhance reliability.

Does strict typing work with Python and Go codebases?▼

Strict typing works across Python and Go codebases by enforcing explicit type definitions and preventing untyped escapes, ensuring code reliability and maintainability in various languages.

What is the best way to handle dynamic data with strict typing rules?▼

Handle dynamic data with strict typing by using runtime validation tools like Zod, ensuring untyped inputs conform to explicit type definitions before processing to maintain code safety.

Why should I prohibit type escapes like 'unknown' in my code?▼

Prohibit type escapes like 'unknown' to eliminate type-related bugs and runtime errors in statically typed languages, mandating explicit definitions that improve overall code maintainability and safety.

How to configure explicit type definitions for function parameters?▼

Configure explicit type definitions by mandating accurate types for all function parameters and return values, eliminating untyped escapes to ensure strict code safety across your project.

Related Skills

Explore More Software Engineering Skills→
CarGDevCarGDev

TypeScript Expert

Solve TypeScript type system problems with generics and strict typing patterns.

Community
Advanced
VoDaiLoczVoDaiLocz
24

lint-and-validate

Automate linting and static analysis of code in CI pipelines.

Community
Intermediate
nq-rdlnq-rdl

zod

Validate runtime data and infer TypeScript types with Zod schemas.

Official
Intermediate
rainoftimerainoftime
17

gradual-typing-implementer

Implement gradual typing systems for dynamically-typed languages.

Community
Advanced