RecodeX 重构消息，Pyright是一款基于标准的Python静态类型检查工具，旨在提供快速反馈和高效工作流程。