Enforce PEP 695 generics and PEP 742 TypeIs predicates in Python 3.14+ codebases.
npx skills add https://github.com/gao-hongnan/omniagents --skill typings
Please help me install this Agent Skill. Skill: typings Source: https://github.com/gao-hongnan/omniagents/tree/main/plugins/python/skills/typings Command: npx skills add https://github.com/gao-hongnan/omniagents --skill typings
This skill addresses the degradation of type-safety in large Python codebases, preventing the compounding cost of Any-leaks and ensuring that static analysis tools like mypy and pyright remain effective.
Apply the typings skill to review the current module for any violations of PEP 695 generic syntax or improper use of Any.
High-intent search queries and answers about installing and using this skill.
To prevent Any-leaks and enforce type-safety, apply strict standards to function signatures, class hierarchies, and I/O boundaries, ensuring untyped third-party APIs do not pollute internal logic.
Migrating to PEP 695 syntax involves mandating modern generic definitions and utilizing ParamSpec for decorators, which ensures cleaner and more robust type-safety in complex systems.
Yes, comprehensive integration with static analysis tools like mypy and pyright supports PEP 742 TypeIs predicates to maintain strict type checking and prevent type decay.
Defining data boundaries requires strict rules at I/O edges, ensuring all internal data structures are properly modeled using TypedDict or Pydantic to stop untyped external inputs.
You need strict typing rules when refactoring a complex service layer to ensure all new function signatures use ParamSpec and internal structures prevent static analysis degradation.
The primary limitation is that enforcing Python 3.14+ type-safety requires modern syntax like PEP 695 generics, restricting compatibility with older Python versions and legacy codebases.
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.
hatlesswizardAudit third-party interfaces, adapters, and learning tests to enforce boundary hygiene.
JylhisStandardizes Python type hints using PEP 695, TypedDict, Protocol, and pyright strict mode.
