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

.github/agents/tool-names.agent.md

@@ -1,7 +1,7 @@
 ---
 description: "Add friendly display names for unknown MCP and VS Code tools detected in session logs. Handles tool name mapping in src/toolNames.json."
 name: "Tool Names - Add Missing Friendly Names"
-tools: ["execute/runInTerminal", "execute/getTerminalOutput", "search/codebase", "read/problems"]
+tools: [execute/getTerminalOutput, execute/runInTerminal, read, search/codebase]
 ---
 
 # Tool Names - Add Missing Friendly Names
@@ -32,7 +32,8 @@ MCP tools follow predictable naming patterns. The raw tool identifier encodes th
 | `mcp.io.github.git.` or `mcp_io_github_git_` | `GitHub MCP (Local):` | [github/github-mcp-server](https://github.com/github/github-mcp-server) |
 | `mcp_github_github_` | `GitHub MCP (Remote):` | [github/github-mcp-server](https://github.com/github/github-mcp-server) |
 | `mcp_github-code-s_` | `GitHub MCP (Code Scanning):` | [github/github-mcp-server](https://github.com/github/github-mcp-server) |
-| `mcp_com_microsoft_` | `GitHub MCP:` | Microsoft internal MCP server |
+| `mcp_com_microsoft_` | `Microsoft MCP:` | Microsoft internal MCP server |
+| `mcp_microsoftdocs_microsoft_` | `Microsoft Docs MCP:` | Microsoft MCP server for official documentation retrieval |
 | `mcp_gitkraken_` | `GitKraken MCP:` | GitKraken (no public MCP server repo; tools come from the GitKraken VS Code extension) |
 | `mcp_oraios_serena_` | `Serena:` | [oraios/serena](https://github.com/oraios/serena) |
 | `mcp_microsoft_pla_` | `Playwright MCP:` | [microsoft/playwright-mcp](https://github.com/microsoft/playwright-mcp) |

vscode-extension/src/toolNames.json

@@ -39,11 +39,13 @@
   ,"mcp_github_issue_write": "GitHub MCP (Remote): Issue Write"
   ,"mcp_github_list_issues": "GitHub MCP (Remote): List Issues"
   ,"mcp_github_create_pull_request": "GitHub MCP (Remote): Create Pull Request"
+  ,"mcp_github_pull_request_read": "GitHub MCP (Remote): Pull Request Read"
   ,"mcp_github-code-s_get_code_scanning_alert": "GitHub MCP (Code Scanning): Get Alert"
   ,"mcp_github-code-s_list_code_scanning_alerts": "GitHub MCP (Code Scanning): List Alerts"
   ,"mcp_com_microsoft_get_bestpractices": "GitHub MCP: Get Best Practices"
   ,"mcp_microsoft_doc_microsoft_code_sample_search": "Microsoft Docs MCP: Code Sample Search"
   ,"mcp_microsoft_doc_microsoft_docs_search": "Microsoft Docs MCP: Docs Search"
+  ,"mcp_microsoftdocs_microsoft_docs_search": "Microsoft Docs MCP: Docs Search"
   ,"mcp_gitkraken_git_add_or_commit": "GitKraken MCP: Git Add or Commit"
   ,"mcp_gitkraken_git_status": "GitKraken MCP: Git Status"
   ,"mcp_gitkraken_git_branch": "GitKraken MCP: Git Branch"
@@ -335,11 +337,13 @@
   ,"todos": "Todos"
   ,"websearch": "Web Search"
   ,"WebSearch": "Web Search"
+  ,"click_element": "Click Element"
   ,"navigate_page": "Navigate Page"
   ,"open_browser_page": "Open Browser Page"
   ,"read_page": "Read Page"
   ,"run_playwright_code": "Run Playwright Code"
   ,"screenshot_page": "Screenshot Page"
+  ,"type_in_page": "Type in Page"
   ,"task_complete": "Task Complete"
   ,"pdf-utilities.pdf": "PDF Utilities: PDF"
   ,"container-tools_get-config": "Container Tools: Get Config"