We haven't yet released a type inference feature, but have been building and using one internally. It helps by adding type annotations directly, based on what the type checker is able to infer. We're hoping to release this feature in the future.

Also, MonkeyType will allow you to add types to your Python based on types inferred at runtime: https://github.com/Instagram/MonkeyType