Tommaso Sciortino b5f5ea2c31 Use simple name for MCP tools where possible. (#4459)		2025-07-18 21:29:09 +00:00
..
cli	Summarize extensions and MCP servers on startup (#3977)	2025-07-18 18:45:00 +00:00
core	Use simple name for MCP tools where possible. (#4459)	2025-07-18 21:29:09 +00:00
vscode-ide-companion	[ide-mode] Send ping every 30 seconds to prevent client from closing connection (#4329)	2025-07-18 19:33:04 +00:00