pyright

pyright 是 Python 的静态类型检查器。它是微软的产品，使用 TypeScript 编写。它是一个语言服务器，使用语言服务器协议 (LSP) 与编辑器通信。它是 mypy 和 pytype 的良好替代方案。