是否有根据类型提示检查类型的python linter？

我正在寻找一个Python linter，它可以根据代码中的类型提示检查类型的使用情况。
其目的是运行单个检查，以验证样式、逻辑和类型错误。
我需要在CI服务器上运行它，并在开发过程中作为文件观察者运行。
例如，我需要此代码输出传递错误类型参数的错误-

def double(x: int):
    return x * 2


result = double('hello')

我已经检查了PyLint和flake8的文档，找不到任何类型检查支持。

---

使用PyLint，我还验证了在检查上述代码时没有错误。

是的，有，它被称为

的可能重复。特别是，请参见“mypy类型提示”一节——它是Python的类型检查器，与PEP 484一起编写。另外两个相对成熟的类型检查器，你也可以试着检查一下，它们是和。也许我应该把问题弄清楚。我正在寻找一个组合之间的过梁和类型检查器。mypy只是一个类型检查器-它在非pep8样式或未使用的变量等方面不会失败。我发布了这个问题，希望有一些工具可以在CI服务器中运行，以检查两个APSect上的代码。我认为通常的策略是在CI管道中作为单独的程序运行linter和类型检查器。我想你可以寻找某种类型的插件，将类型检查器与你的linter捆绑在一起（例如，类似于flake8 mypy插件的东西），但是我没有看到这种捆绑的价值。