mypy

Mypy 是一个为 Python 提供可选静态类型检查的工具。它通过解析代码中的类型提示（PEP 484 标准），在不运行代码的前提下检测变量、函数参数与返回值的类型使用错误，支持渐进式采用、与主流编辑器和构建流程集成，并兼容 typeshed 标准类型库。适用于中大型 Python 项目开发、团队协作、CI/CD 类型质量门禁及 IDE 智能提示增强等场景，帮助提升代码健壮性与可维护性。