Trying a new plain code annotations check (included in plain pre-commit) that enforces type annotations on all function signatures — return types and params, nothing else.

I think this is the 80/20 of missing type coverage and IMO makes for a better IDE/dev experience also. Claude is more than happy to do this work for you, and then type checking with ty is that much better!