mypy

pyrefly

pyright

ty

Zuban

PyCharm, an IDE that supports type stubs both for type checking and code completion.

Visual Studio Code, a code editor that supports type checking using mypy, pyright, or the Pylance extension.

black, a code formatter with support for type stub files.

flake8-pyi, a plugin for the flake8 linter that adds support for type stubs.

ruff, a linter built for speed, with support for most of the flake8-pyi rules.

autotyping, a tool which infers simple types from their context and inserts them as inline type-hints.

merge-pyi, a thin wrapper around ApplyTypeAnnotationsVisitor from libCST that integrates .pyi signatures as inline type-hints in Python source code.