用途：为 Python 3.9+ 代码库提供类型提示与静态类型检查的参考，用于代码审查时检查注解用法、评估注解质量与一致性、识别类型提示反模式、改进 mypy 配置，并指导渐进式类型化。
主要能力：涵盖基础类型、None 与 Optional、内置集合泛型（list/dict/set/tuple）、Union 与 | 运算符、Any；进阶内容包括 TypeVar 与 Generic、Protocol 结构化子类型、Literal、TypedDict、Final、NewType、Callable、TypeAlias；函数注解部分含 *args/**kwargs、@overload；类注解部分含实例变量、ClassVar、property、cached_property 与 init 注解。
使用方式：需 Python 3.9+（推荐 3.10+ 以使用 | 运算符），安装 mypy 执行静态检查：pip install mypy。该技能由 uncle-duke-python 智能体在审查 Python 代码时引用。
适用场景：Python 代码审查、类型注解质量评估、mypy 配置优化、渐进式类型化迁移。
限制：资料未提供具体收费、价格、平台支持范围与效果数据；Any 过度使用会削弱类型提示作用，应谨慎使用并说明原因。