Skip to content

[codex] Generalize deferred nested tool guidance#25689

Merged
sayan-oai merged 1 commit into
mainfrom
codex/generalize-deferred-nested-tools-guidance
Jun 1, 2026
Merged

[codex] Generalize deferred nested tool guidance#25689
sayan-oai merged 1 commit into
mainfrom
codex/generalize-deferred-nested-tools-guidance

Conversation

@sayan-oai
Copy link
Copy Markdown
Collaborator

Summary

  • describe omitted code-mode tools as deferred nested tools instead of MCP/app tools
  • update the prompt-description assertion to match

Why

Deferred dynamic tools are also callable through tools and discoverable in ALL_TOOLS, so the previous MCP/app-specific wording was too narrow.

Validation

  • just fmt
  • just test -p codex-code-mode
  • git diff --check

@sayan-oai sayan-oai marked this pull request as ready for review June 1, 2026 20:43
@sayan-oai sayan-oai enabled auto-merge (squash) June 1, 2026 20:57
@sayan-oai sayan-oai merged commit f0e15b9 into main Jun 1, 2026
31 checks passed
@sayan-oai sayan-oai deleted the codex/generalize-deferred-nested-tools-guidance branch June 1, 2026 21:01
@github-actions github-actions Bot locked and limited conversation to collaborators Jun 1, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants