It’s much faster to check code for correctness than it is to write it in the first place.

In certain circumstances sure, but at any level of complexity, not so much.

At some point it becomes less about code correctness and more about logical correctness, which requires contextual domain understanding.

Want to churn out directory changing python scripts, go nuts.

Want to add business logic that isn’t a single discrete change to an existing system, less likely.

For small things is works OK, it’s less useful the more complex the task.