skills.rest
leonardoteodoroo
leonardoteodorooCOMMUNITY
Explore all skills by this author →
GitHub

python-type-safety

Enforce Python type safety with type hints and strict mypy or pyright checks.

Updated Feb 3, 2026
Search Tags:#python#mypy#type-hints#generics#typing#pyright#protocols
One-click install
npx skills add https://github.com/leonardoteodoroo/amino-advanced --skill python-type-safety-leonardoteodoroo
Or copy as Structured Prompt for Agent▼
Please help me install this Agent Skill.
Skill: python-type-safety
Source: https://github.com/leonardoteodoroo/amino-advanced/tree/main/.agent/skills/python-type-safety
Command: npx skills add https://github.com/leonardoteodoroo/amino-advanced --skill python-type-safety-leonardoteodoroo

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

Python's dynamic typing often hides type errors until runtime; this skill defines and enforces static type safety in Python by leveraging type hints, generics, protocols, and strict type-checking tools like mypy and pyright to prevent regressions.

Core Features & Use Cases

  • Type annotations for public APIs, functions, and classes to serve as living documentation.
  • Generics and protocols to model flexible, type-safe interfaces and duck-typed contracts.
  • Workflow guidelines for enabling strict type checking in CI (mypy/pyright) and progressive adoption.

Quick Start

Add type hints to an existing Python module and run mypy --strict to catch type errors early.

Frequently Asked Questions about python-type-safety

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

FAQPage Schema
How do I enforce Python type safety across my project to catch runtime errors early?▼

Enforce Python type safety by adding explicit type hints to public APIs and running static analysis tools like mypy or pyright in strict mode to reject type errors before runtime.

What's the best way to configure strict mypy checks in a continuous integration pipeline?▼

Configure strict mypy checks in CI by integrating the type checker into your pipeline workflow, ensuring it runs with the strict flag against your modern Python 3.10+ codebase to prevent regressions.

How do Python protocols and generics help build flexible, type-safe interfaces?▼

Python protocols and generics define duck-typed contracts and parameterized classes, allowing you to model flexible interfaces that static type checkers like pyright and mypy can validate for type safety.

Does adding type hints to an existing Python codebase require a specific Python version?▼

Adding type hints with this approach requires modern Python syntax, specifically version 3.10 or higher, to leverage current typing features and ensure compatibility with strict mypy and pyright static analysis.

Can I progressively adopt static type checking without annotating my entire Python project at once?▼

Progressive adoption of static type checking is supported through workflow guidelines that allow you to add type annotations to existing modules incrementally while running mypy or pyright to catch type errors early.

What is the difference between using mypy and pyright for Python static type analysis?▼

Both mypy and pyright serve as static type checkers to enforce Python type safety, catching type errors through type hints, but the workflow guidelines support configuring either tool based on your project needs.

Related Skills

Explore More Software Engineering Skills→
TheBushidoCollectiveTheBushidoCollective
187

python-type-system

Enforce Python type safety with mypy, Protocols, TypedDict, and Generics.

Official
Intermediate
jacexhjacexh

python-type-safety

Configure mypy or pyright for strict static type checking of Python code.

Community
Intermediate
lehuuhau1231lehuuhau1231

lint-and-validate

Run linting and type checking across multiple programming ecosystems.

Community
Intermediate
0xDarkMatter0xDarkMatter
29

python-typing-patterns

Provide Python typing patterns for type safety with mypy and pyright.

Community
Advanced