Add files via upload

2026-05-07 01:56:40 +02:00 · 2026-04-29 03:24:48 +08:00
parent 4773b9e963
commit 87cba37203
1 changed files with 1 additions and 1 deletions
@@ -1264,7 +1264,7 @@ async function saveToolsConfig() {
                robot_use_multi_agent: currentConfig?.multi_agent?.robot_use_multi_agent === true,
                batch_use_multi_agent: currentConfig?.multi_agent?.batch_use_multi_agent === true,
                plan_execute_loop_max_iterations: Number(currentConfig?.multi_agent?.plan_execute_loop_max_iterations || 0),
-                tool_search_always_visible_tools: Array.from(alwaysVisibleToolNames)
+                tool_search_always_visible_tools: Array.from(alwaysVisibleToolNames).filter(name => !alwaysVisibleBuiltinToolNames.has(name))
            },
            tools: []
        };