[williamstein]

https://mypy-lang.org/ ?

[sakesun]

Never use Mypy, but I think it probably check only the static-like (with generic) types like any other static languages.