Google found a strong pattern in real agent submissions: cheap, deterministic checks before the expensive model call.
Run a type checker first. Spend model tokens on problems requiring judgment instead of rediscovering call signatures.
developers.googleblog.com/4-engineering-…
@googledevs
Just a fast type checker and language server for Python, written in Rust.

