[patrick91]

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

[sanyam-khurana]

Thanks, this seems interesting!