What problem does it solve? Existing Python codebases often contain broad Any annotations, unparameterized containers, and ambiguous optionality that weaken type-checker coverage. This Skill applies a focused workflow to make annotations precise in changed files without triggering broad refactors or formatting churn. ## Core Features & Use Cases - Scoped Type Tightening: Defaults to files already changed for the current task, expanding scope only when interfaces require it. - Evidence-Based Narrowing: Replaces broad Any and vague containers with the narrowest honest types, preferring natural narrowing, protocols, and typed boundaries over cast. - Verification Loop: Runs the repository's formatter, linter, type checker, and focused tests, then reports remaining errors and intentionally broad annotations. - Use Case: After editing a Python module, ask the agent to tighten its annotations so ty or mypy reports fewer errors while runtime behavior and public compatibility stay intact. ## Quick Start Tighten the type annotations in the Python files I just changed and run the type checker to confirm the results.