feat: wire goal extension tools to the dedicated goal store#23685

jif-oai merged 1 commit into

mainopenai/codex:mainfrom

jif/goal-state-managementopenai/codex:jif/goal-state-managementCopy head branch name to clipboard