Open source alternatives to python-type-safety

P

python-type-safety

Python type safety with type hints, generics, protocols

python-type-safety is an agent skill from the wshobson/agents collection for adding type safety to Python code with type hints, generics, protocols and strict type checking. Its premise is that Python's type system can catch errors at static analysis time, so annotations act as documentation that tools check automatically. The skill covers type annotations for function parameters, return values and variables, generic classes that work with several types while keeping them checked, and protocols that describe structural interfaces, so any object with the right shape can be used without inheriting from a base class. It explains type narrowing and type guards, which let a checker understand what a value is after a condition has been tested, and how to configure mypy or pyright for strict checking. The skill applies when adding type hints to existing code, creating generic and reusable classes, defining structural interfaces with protocols, configuring a type checker, understanding narrowing, and building type-safe APIs and libraries. Adding types to a large existing codebase is gradual work, so the skill's guidance favors adding annotations in steps and enabling stricter checks as the code allows. The agent adds the annotations and explains the checker's messages, and the team decides how strict the checks should be. The skill is installed with the skills CLI from the wshobson/agents repository. Its skills.sh page showed about 12.4K installs and passing results from three security audits at the time of the scan.