type-checking
Installation
SKILL.md
Type Checking with Pyright/Basedpyright
Use pyright or basedpyright for gradual type checking adoption.
Core Principles
- Minimize Logic Changes: Type checking should NOT change runtime behavior
- Test After Changes: Always run tests after adding type hints
- Hunt Down Root Causes: Never use
# type: ignoreas first resort
Quick Start
When fixing type errors:
# 1. Run type checker
pyright <file-or-directory>
# or
basedpyright <file-or-directory>