What problem does it solve? Python codebases often accumulate weak or missing type annotations—untyped class attributes, loosely-typed dicts passed between functions, and vague union return types—that reduce type checker effectiveness and hide bugs. ## Core Features & Use Cases - Systematic Annotation Audit: Surveys Python files, finds missing class attribute annotations, redundant in-body annotations, and outdated typing styles like Optional[X]. - Structured Dict Conversion: Detects dicts with consistent key shapes and converts them to Pydantic BaseModels or TypedDicts depending on whether they cross system boundaries. - Precision Typing: Adds @overload signatures for narrowable unions and imports concrete third-party types (FastAPI, PyTorch, numpy) via TYPE_CHECKING guards. - Use Case: Point it at a legacy module where functions pass around loosely-typed config dicts; it proposes TypedDicts or Pydantic models, modernizes syntax, then runs the type checker to verify no new errors. ## Quick Start Ask the agent to tighten the type annotations in the Python files of the current project or a specific module.