refactor: move web_fetch tool name to tool-names.ts (#11174)

This commit is contained in:
Abhi
2025-10-15 22:48:12 -04:00
committed by GitHub
parent 1c090b3654
commit 770ccfd8bc
4 changed files with 12 additions and 6 deletions
+1
View File
@@ -12,6 +12,7 @@ export const GLOB_TOOL_NAME = 'glob';
export const WRITE_TODOS_TOOL_NAME = 'write_todos';
export const WRITE_FILE_TOOL_NAME = 'write_file';
export const WEB_SEARCH_TOOL_NAME = 'google_web_search';
export const WEB_FETCH_TOOL_NAME = 'web_fetch';
// TODO: Migrate other tool names here to follow this pattern and prevent future circular dependencies.
// Candidates for migration: