I think it's ty the typechecker :D https://docs.astral.sh/ty/