Why do you think that?

Because the type system gives you correctness properties, and gives fast feedback to the coding agent. Much faster to type check the code than let say write and run unit tests.

One possible disadvantage of static types is that it can make the code more verbose, but agents really don't care, quite the opposite.