Can this skill help prevent 'primitive obsession'?

Yes, rule TYPE-4 specifically identifies when raw primitives like strings or integers are used for distinct domain concepts and suggests using branded types or newtype wrappers.

What happens if the code uses 'any' or other escape-hatch types?

Under the TYPE-1 rule, the skill will block the operation and refuse to produce or approve code using escape hatches, instead proposing safe alternatives like 'unknown' or concrete interfaces.

How does Type Check handle language-specific differences?

The skill automatically loads a language-specific reference file (e.g., rust.md or python.md) to ensure its enforcement logic aligns with that language's specific tooling and idioms.

Which programming languages does the Type Check skill support?

Type Check provides comprehensive support and specific rules for TypeScript, Python, Go, Rust, and JavaScript.

Type Safety Enforcement

Name: Type Safety Enforcement
Author: mikecubed

bymikecubed

0•

開発者ツール

Enforces strict type-safety rules across multiple programming languages to eliminate runtime errors and improve code maintainability.

Type Check is a robust Claude Code Skill designed to harden software architectures by enforcing six core type-safety rules (TYPE-1 through TYPE-6). It acts as a proactive gatekeeper during write and review operations, blocking dangerous patterns like 'any' types, unsafe assertions, and implicit nulls. By integrating language-specific best practices for TypeScript, Python, Go, Rust, and JavaScript, it ensures that domain models are resilient, patterns are exhaustive, and primitive obsession is minimized, shifting bug detection from runtime to development time.

主な機能

01Eliminates escape-hatch types like any, Any, and interface{}

02Identifies and corrects implicit null or undefined return types

03Promotes branded types and newtype wrappers for domain concepts

04Ensures exhaustive pattern matching for unions, enums, and switches

05Enforces mandatory runtime guards for type assertions and casts

060 GitHub stars

ユースケース

01Standardizing domain models using branded types to prevent primitive obsession

02Automated code reviews to catch type-safety violations before merging

03Hardening legacy codebases by migrating from loose to strict typing

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add mikecubed/clean-code-codex type-check

For use in Claude.ai and ChatGPT

主な機能

01Eliminates escape-hatch types like any, Any, and interface{}

02Identifies and corrects implicit null or undefined return types

03Promotes branded types and newtype wrappers for domain concepts

04Ensures exhaustive pattern matching for unions, enums, and switches

05Enforces mandatory runtime guards for type assertions and casts

060 GitHub stars

ユースケース

01Standardizing domain models using branded types to prevent primitive obsession

02Automated code reviews to catch type-safety violations before merging

03Hardening legacy codebases by migrating from loose to strict typing

What are Skills?·How to Install

Install with 🐟 Skill.Fish

npx skillfish add mikecubed/clean-code-codex type-check

For use in Claude.ai and ChatGPT