Yep. That's exactly the case.

External graph state/rudimentary planner + LLM proposer + cheap verifier gets so much done.