feat: experimental.primary_tools, allow user to set the tools that should only be available to primary agents (#4913)

Co-authored-by: GitHub Action <action@github.com>
2025-12-03 11:19:43 -06:00
parent 91db82c138
commit 0bccd1d578
3 changed files with 12 additions and 0 deletions
@@ -1249,6 +1249,10 @@ export type Config = {
     * Enable the batch tool
     */
    batch_tool?: boolean
+    /**
+     * Tools that should only be available to primary agents.
+     */
+    primary_tools?: Array<string>
  }
 }