On my side we use mypy for type checking, not in strict mode though, also using ruff.