Python类型检查工具
各维度得分依据公开资料与字段推算,加权后即综合评分,仅供参考。
Pyre 是面向 Python 的静态类型检查器，主打渐进式类型、增量检查和大型代码库性能。它可以在终端或编辑器中提示类型错误，并遵循 PEP 484、526、612 等 typing 标准。站点还提示“Pyrefly”是下一代 Pyre，但抓取内容主体仍围绕 Pyre 与 Pysa。
从功能看，Pyre 适合在已有 Python 项目中逐步引入类型检查：安装 pyre-check 后运行 pyre init 生成配置，再执行 pyre 即可发现如变量声明类型不匹配等问题。首次运行会启动 daemon 监听文件变化，后续检查可增量完成。Pysa 是其安全静态分析组件，通过 source、sink、rule、sanitizer 等模型追踪数据流，例如用户可控输入流向 eval、SQL 或 XSS 相关危险位置。
文本明确支持 Python，要求 Python 3.9+，并依赖 Watchman。示例覆盖 Django、sqlite3、urllib 等生态中的建模方式。集成方面，文档提到终端与编辑器实时反馈，也有 Integrations、Editor Integration 入口。文档质量较好，不仅有入门安装和配置，还详细解释 Pysa 的 taint.config、.pysa 模型、规则、清洗器和误报来源。
抓取文本未出现商业定价、SaaS 方案或付费支持信息。使用方式是本地通过 pip 安装并在项目内运行，可视为本地自托管式开发工具。是否开源文本未明确，只能确认站点提供 GitHub 链接。
优点是专注 Python、支持大型代码库和增量检查，并把类型检查与安全污点分析结合在同一工具链中。缺点是环境依赖 Watchman，Pysa 模型维护成本较高；它不会自动看到未在 search_path 中的依赖源码，可能产生误报。适合 Python 平台团队、安全工程团队和需要长期治理代码质量的大型项目。中国访问情况文本无信息，需实测；替代品可考虑 mypy、Pyright、Semgrep 或 Bandit。
本测评基于公开资料整理,不构成购买建议,请以 pyre-check.org 官网实际信息为准。
Meta开源类型检查器，适合Python工程质量。
评分明细(分布与用户短评)接入中。当前展示 TG4G 综合评分,数据源自公开测评与用户反馈。