1 independent type-checking listing the big search engines bury.
Type-check how well AI coding agents use your SDK's current API.