Skip to content

Add missing friendly names for click_element, mcp_github_pull_request_read, mcp_microsoftdocs_microsoft_docs_search, type_in_page#614

Merged
rajbos merged 3 commits intomainfrom
copilot/add-friendly-names-for-tools
Apr 17, 2026
Merged

Add missing friendly names for click_element, mcp_github_pull_request_read, mcp_microsoftdocs_microsoft_docs_search, type_in_page#614
rajbos merged 3 commits intomainfrom
copilot/add-friendly-names-for-tools

Commits

Commits on Apr 17, 2026