Skip to content

Add toolSearch to vscode toolset#312485

Merged
bhavyaus merged 1 commit intomainfrom
dev/bhavyau/tool-search-in-vscode-toolset
Apr 25, 2026
Merged

Add toolSearch to vscode toolset#312485
bhavyaus merged 1 commit intomainfrom
dev/bhavyau/tool-search-in-vscode-toolset

Conversation

@bhavyaus
Copy link
Copy Markdown
Collaborator

Lists toolSearch in the vscode languageModelToolSets contribution so it reliably attaches to the toolset (the registration-time toolSet field on registerToolDefinition doesn't retry on late-registered toolsets).

Copilot AI review requested due to automatic review settings April 25, 2026 05:00
@bhavyaus bhavyaus force-pushed the dev/bhavyau/tool-search-in-vscode-toolset branch from 0e04602 to 09bb099 Compare April 25, 2026 05:01
@bhavyaus bhavyaus enabled auto-merge (squash) April 25, 2026 05:01
Copy link
Copy Markdown
Contributor

Copilot AI left a comment

Choose a reason for hiding this comment

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

Pull request overview

Adds toolSearch to the Copilot extension’s contributed vscode language model toolset so the tool reliably attaches even when registered before the toolset is available.

Changes:

  • Include "toolSearch" in the contributes.languageModelToolSets[name="vscode"].tools list in extensions/copilot/package.json.
Show a summary per file
File Description
extensions/copilot/package.json Adds toolSearch to the vscode toolset contribution to ensure it’s consistently present/attachable at runtime.

Copilot's findings

  • Files reviewed: 1/1 changed files
  • Comments generated: 0

@bhavyaus bhavyaus force-pushed the dev/bhavyau/tool-search-in-vscode-toolset branch from 09bb099 to 1f02d2f Compare April 25, 2026 05:16
@bhavyaus bhavyaus merged commit 53be7ff into main Apr 25, 2026
40 of 41 checks passed
@bhavyaus bhavyaus deleted the dev/bhavyau/tool-search-in-vscode-toolset branch April 25, 2026 06:31
@vs-code-engineering vs-code-engineering Bot added this to the 1.118.0 milestone Apr 25, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants