type-checking

Installation
SKILL.md

Type Checking with Pyright/Basedpyright

Use pyright or basedpyright for gradual type checking adoption.

Core Principles

  1. Minimize Logic Changes: Type checking should NOT change runtime behavior
  2. Test After Changes: Always run tests after adding type hints
  3. Hunt Down Root Causes: Never use # type: ignore as first resort

Quick Start

When fixing type errors:

# 1. Run type checker
pyright <file-or-directory>
# or
basedpyright <file-or-directory>
Installs
3
GitHub Stars
4
First Seen
Jan 21, 2026
type-checking — gigaverse-app/skillet