skills.rest
robotijn
robotijnCOMMUNITY
Explore all skills by this author →
GitHub

type-checker

Enforce strict-mode type checking across 7 mainstream programming languages.

3|2|Updated Jan 23, 2026
Search Tags:#code quality#type safety#static analysis#strict mode#type checking#newtype#escape hatch
One-click install
npx skills add https://github.com/robotijn/ctoc --skill type-checker-robotijn
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: type-checker
Source: https://github.com/robotijn/ctoc/tree/main/skills/quality/type-checker
Command: npx skills add https://github.com/robotijn/ctoc --skill type-checker-robotijn

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Undetected type errors in production cause costly incidents and downtime, while manual type reviews are slow and inconsistent. This Skill automates strict static type checking across 7 mainstream languages to catch type violations at build time, before code reaches production.

Core Features & Use Cases

  • Multi-language strict type checking: Enforces strict mode for TypeScript, Python, C#, Java, C, C++, and SQL with language-specific best practice configurations.
  • Escape hatch auditing: Flags unjustified use of unsafe type casts, any types, and type ignore comments that bypass the type system.
  • Domain type enforcement: Audits for primitive obsession (e.g., using raw strings for UserId or Cents) and enforces newtype/branded type patterns.
  • Parse-don't-validate checks: Verifies that external input is parsed into refined types at system boundaries rather than validated lazily downstream.
  • Exhaustiveness validation: Ensures all switch/match statements over discriminated unions handle every variant, preventing unhandled case bugs. Use case: For a fintech application processing payments, this Skill catches mismatched OrderId and UserId types, missing payment status variants in switch statements, and unsafe JSON deserialization before deployment.

Quick Start

Use the type-checker skill to run a full strict-mode type analysis on your project's codebase and get a prioritized list of all type safety violations with suggested fixes.

Frequently Asked Questions about type-checker

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

FAQPage Schema
How do I enforce strict type checking across multiple programming languages?▼

Strict type checking is enforced across 7 mainstream languages by running static analysis that catches type errors at compile time. It applies language-specific strict mode configurations to prevent type violations before code reaches production.

What is the best way to eliminate primitive obsession in an enterprise codebase?▼

To eliminate primitive obsession, static type analysis audits for raw domain primitives like raw strings for UserId and enforces newtype or branded type patterns. This ensures distinct domain values are not accidentally interchanged.

How do I audit for escape hatches like any types and unsafe casts?▼

Auditing for escape hatches involves flagging unjustified use of unsafe type casts, any types, and type ignore comments. The static analysis identifies code that bypasses the type system to maintain strict type safety.

Does strict mode type checking work with TypeScript, Python, and C#?▼

Strict mode type checking works with TypeScript, Python, C#, Java, C, C++, and SQL. It enforces language-specific best practice configurations to catch type errors at build time across all these supported languages.

How do I ensure exhaustive handling of discriminated unions in switch statements?▼

Exhaustive handling of discriminated unions is ensured through exhaustiveness validation. The static analysis checks that all switch and match statements handle every variant, preventing unhandled case bugs in production.

Why should I use parse-don't-validate practices at system boundaries?▼

Parse-don't-validate practices should be used to parse external input into refined types at system boundaries rather than validating lazily downstream. Static analysis verifies this practice to prevent unvalidated data from propagating.

Related Skills

Explore More Software Engineering Skills→
roderikroderik
2

codeql

Identify security vulnerabilities in source code using CodeQL static analysis.

Community
Advanced
syntropic137syntropic137

types

Enforce strict type safety across polyglot codebases and CI workflows.

Official
Advanced
NoobyGainsNoobyGains
78

quality-enforcement

Enforce code quality standards across pre-commit, pre-merge, and CI pipeline stages.

Community
Advanced
jpcaparasjpcaparas
37

strong-types

Enforce strict typing across PHP, TypeScript, Python, C#, Kotlin, Go, Rust, and Swift codebases.

Community
Advanced