ty120··on Pytype – A static type analyzer for Python codeThe docs say that it works without type hints. Looking at the code base, it is far too large to contribute to another project that appears to be quite opinionated.