Comment by baq

mypy is the simplest/oldest option, look into pyright and ty, too.

install uv and then

    uvx mypy

should do the rest.