In my experience, LLMs aren’t really that good at summarizing

It’s more like they can “rewrite more concisely” which is a bit different

Also have the option of selectively/strictly enforcing in CI, to get an experience & protections similar to “compile-time type checking”

it lacks clear and enforced type restrictions which help with clear code contracts

Not anymore! Gradual typing is supported by the core language and pyright is a fantastic incremental type checker that you can use both in your editor and in CI.