Configure mypy or pyright for strict static type checking of Python code.
npx skills add https://github.com/jacexh/skills --skill python-type-safety-jacexh
Please help me install this Agent Skill. Skill: python-type-safety Source: https://github.com/jacexh/skills/tree/main/skills/python-type-safety Command: npx skills add https://github.com/jacexh/skills --skill python-type-safety-jacexh
This skill reduces runtime type-related bugs by applying static type annotations, generics, protocols, and strict type checking so developers catch issues earlier in development and CI.
Annotate public functions and classes with explicit type hints and run mypy in strict mode to validate types across the codebase.
High-intent search queries and answers about installing and using this skill.
Static type checking in Python uses type hints on public APIs to detect incorrect types early. You annotate functions and classes, then run tools like mypy in strict mode to validate types across the codebase.
Configuring mypy or pyright for strict type validation involves enabling strict mode and CI enforcement to prevent regressions. This setup applies automated validation to ensure all type annotations are checked continuously.
Python generics and protocols build type-safe libraries by creating reusable, type-preserving structures and structural interfaces. Generics preserve types across operations, while protocols define structural typing for flexible contracts.
Incremental adoption of type hints in existing Python codebases is supported by configuring mypy or pyright for gradual checking. You can annotate public APIs first, then expand strictness to prevent regressions during migration.
Type narrowing patterns in Python refine types within conditional branches, ensuring static checkers recognize safe operations. You need them when using protocols or generics to guarantee type safety during dynamic runtime checks.
PriyanshKuniyalAdd type hints, generics, and protocols to Python code for mypy and pyright.
gouravsingh311Enforce static typing with annotations, generics, and protocols via mypy or pyright.
ArabelaTsoVerify Python and Java code statically against type and contract specifications.
djankiesValidate external data against Zod schemas for runtime type safety.
