mypy

Static type checker for Python that allows developers to add type annotations to their code. Mypy checks these annotations to ensure type safety, helping to catch errors early in the development process and improve code readability. It is particularly useful for Python developers looking to maintain and refactor code efficiently.