Skip to content

Split plugin install discovery into list and request tools#23372

Merged
mzeng-openai merged 7 commits into
mainfrom
dev/mzeng/split-plugin-install-suggestion-flow
May 19, 2026
Merged

Split plugin install discovery into list and request tools#23372
mzeng-openai merged 7 commits into
mainfrom
dev/mzeng/split-plugin-install-suggestion-flow

Conversation

@mzeng-openai
Copy link
Copy Markdown
Collaborator

@mzeng-openai mzeng-openai commented May 18, 2026

Summary

  • Add list_available_plugins_to_install as the inventory step for plugin and connector install suggestions.
  • Slim request_plugin_install so it only handles the actual elicitation, instead of carrying the full discoverable list in its prompt.
  • Emit send-time telemetry when an install elicitation is dispatched, including requested tool identity in the event payload.
  • Emit install-result telemetry through SessionTelemetry, including tool type, user response action, and completion status.
  • Update registration and tests to cover the new two-step flow while keeping the existing tool_suggest feature gate unchanged.

Testing

  • just fmt
  • cargo test -p codex-tools
  • cargo test -p codex-core request_plugin_install
  • cargo test -p codex-core list_available_plugins_to_install
  • cargo test -p codex-core install_suggestion_tools_can_be_registered_without_search_tool
  • cargo test -p codex-otel manager_records_plugin_install_suggestion_metric
  • cargo test -p codex-otel manager_records_plugin_install_elicitation_sent_metric
  • just fix -p codex-core
  • just fix -p codex-tools
  • just fix -p codex-otel
  • cargo check -p codex-core

@mzeng-openai mzeng-openai marked this pull request as ready for review May 18, 2026 23:41
@mzeng-openai mzeng-openai requested a review from a team as a code owner May 18, 2026 23:41
@mzeng-openai mzeng-openai marked this pull request as draft May 19, 2026 04:11
Copy link
Copy Markdown
Collaborator

@dylan-hurd-oai dylan-hurd-oai left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you!

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

out of scope for this PR, but it would be excellent to migrate these tools to an extension!

@mzeng-openai mzeng-openai marked this pull request as ready for review May 19, 2026 04:33
@mzeng-openai mzeng-openai marked this pull request as draft May 19, 2026 04:59
…lugin-install-suggestion-flow

# Conflicts:
#	codex-rs/core/src/tools/spec_plan.rs
#	codex-rs/core/src/tools/spec_plan_model_tests.rs
#	codex-rs/core/src/tools/spec_plan_tests.rs
@mzeng-openai mzeng-openai marked this pull request as ready for review May 19, 2026 17:32
Copy link
Copy Markdown
Contributor

@chatgpt-codex-connector chatgpt-codex-connector Bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: c8132352e1

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment thread codex-rs/core/src/tools/handlers/list_available_plugins_to_install.rs Outdated
Comment thread codex-rs/core/src/tools/handlers/list_available_plugins_to_install.rs Outdated
@mzeng-openai mzeng-openai merged commit 8335b56 into main May 19, 2026
31 checks passed
@mzeng-openai mzeng-openai deleted the dev/mzeng/split-plugin-install-suggestion-flow branch May 19, 2026 21:45
@github-actions github-actions Bot locked and limited conversation to collaborators May 19, 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