用途：为 Python 代码添加类型注解，支持静态类型检查、增强 IDE 补全与代码自文档化。Python 类型系统是渐进式的，可逐步添加。
主要能力：内置泛型（list[str]、dict[str, int]、tuple、set、frozenset 及嵌套）；联合类型与可选（str | None，3.10+ 用 | 替代 Union/Optional）；类型别名（TypeAlias，3.12+ 的 type 语句）；类型参数（3.12+ 的 def firstT，含泛型类、多参数、上界与默认类型参数）；函数签名（*args/**kwargs、Callable、高阶函数、@overload、ParamSpec 装饰器）；类与协议（ClassVar、Self、Protocol 结构化子类型、runtime_checkable）；TypedDict（total=False、Required/NotRequired、继承）；抽象基类；高级类型（Literal、Final/final、TypeGuard、TypeIs、Annotated 及与 Pydantic 配合）；以及 mypy 与 pyright 的配置和运行命令。
使用方式：以技能形式提供快速参考表与示例，按需查阅；用 mypy 或 pyright 运行检查，如 mypy src/ --strict、pyright src/、uv run mypy src/。
适用场景：为函数和类补注解、编写 TypedDict、定义 Protocol、配置 mypy/pyright、编写泛型函数与类。相关技能可参考 python-fundamentals-313、python-testing、python-fastapi。
限制：部分特性有版本要求，类型参数与 type 语句需 3.12+，TypeIs 需 3.13+，默认类型参数需 3.13+；Union 简写需 3.10+。具体收费、平台与许可信息暂未提供。