Matthew Zeng 460b63e5f4 Honor explicit plugin mentions during MCP startup (#42406) ...

## Why

Selected plugin MCP servers may be skipped after the optional startup grace
period. When a user explicitly mentions a plugin or MCP server, the turn should
continue waiting so the requested tools are available to the model.

## What changed

- Track explicitly mentioned plugin IDs and MCP servers across later samples,
  steered input, and same-turn restarts.
- Require matching selected-plugin MCP servers to finish startup before
  capturing the tool catalog, while leaving unmentioned servers optional.
- Match `plugin://` identities independently of display names and ignore
  targeting query parameters such as `app` and `browserFamily`.

## Testing

Added coverage for linked and structured plugin mentions, direct and batched
capability discovery, delayed environment attachment, steering, and same-turn
restarts.

GitOrigin-RevId: c509ef8df45df1a7edb0da6afdb2682dc53a4de8

2026-09-03 01:33:32 +00:00

..

src

Honor explicit plugin mentions during MCP startup (#42406)

2026-09-03 01:33:32 +00:00

tests

Format Python scripts across the repository (#42109)

2026-09-01 17:47:29 +00:00

BUILD.bazel

build: run buildifier from just fmt (#28125)

2026-06-13 21:43:39 -07:00

build.rs

refactor(core): move embedded system skills into codex-skills crate (#12435)

2026-02-21 08:34:08 +00:00

Cargo.toml

Centralize skill invocation helpers in codex-skills (#37174)

2026-08-05 22:26:59 +00:00