Skip to content

Change _meta.map to _meta, and pass original_name and tool_status#2463

Merged
neelneelneel merged 8 commits intodevfrom
tool-data
Jan 12, 2026
Merged

Change _meta.map to _meta, and pass original_name and tool_status#2463
neelneelneel merged 8 commits intodevfrom
tool-data

Conversation

@tevanburen
Copy link
Copy Markdown
Contributor

@tevanburen tevanburen commented Dec 19, 2025

Description

  • use ._meta instead of ._meta.map
  • Pass original_name to the RHS (so that MCPs can determine which tool is active)
  • Pass tool_status from the LHS (so that MCPs can decide to send cancel / error messages)

@tevanburen tevanburen self-assigned this Dec 19, 2025
@tevanburen tevanburen changed the title ç Change _meta.map to _meta, and pass original_name Dec 19, 2025
@tevanburen tevanburen linked an issue Dec 19, 2025 that may be closed by this pull request
@tevanburen tevanburen changed the title Change _meta.map to _meta, and pass original_name Change _meta.map to _meta, and pass original_name and tool_status Jan 9, 2026
@tevanburen tevanburen marked this pull request as ready for review January 12, 2026 13:59
@tevanburen tevanburen requested a review from a team as a code owner January 12, 2026 13:59
@neelneelneel neelneelneel merged commit 7abdc4f into dev Jan 12, 2026
3 checks passed
@neelneelneel neelneelneel deleted the tool-data branch January 12, 2026 14:10
@github-actions
Copy link
Copy Markdown

@CodiumAI-Agent /update_changelog

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.

Change _meta.map to _meta, and pass original_name

2 participants