查Python类型用这Skill匹配环境

ty 是使用 Python 类型检查工具的 Skill。它围绕项目版本、目标平台、规则和文件范围组织检查，也说明编辑器语言服务和迁移配置。

同一段代码在不同 Python 版本或平台下，允许的类型条件可能不同。先核项目固定版本与依赖，再看诊断，不因为工具名称新就替换已有检查体系。

规则可设错误、警告或忽略，调整后要记录范围；把警告关掉不等于修复问题。原文展示从其他工具迁移的命令，但不同检查器严格模式不能保证一一等价。类型通过也不能证明运行行为正确，仍需相关测试；本文没有安装工具或修改类型配置。