feat(coding-agent): add optional PowerShell tool (#8512)

This commit is contained in:
Armin Ronacher 2026-08-24 12:27:03 +02:00 • committed by GitHub
parent 4af9d21d3b
commit 80e62761f7
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
23 changed files with 351 additions and 65 deletions

View file

@ -519,7 +519,7 @@ const { session } = await createAgentSession({ resourceLoader: loader });
Specify which built-in tools to enable:
- Built-in tool names: `read`, `bash`, `edit`, `write`, `grep`, `find`, `ls`
- Built-in tool names: `read`, `bash`, `powershell`, `edit`, `write`, `grep`, `find`, `ls`
- Default built-ins: `read`, `bash`, `edit`, `write`
- `noTools: "all"` disables all tools
- `noTools: "builtin"` disables default built-ins while keeping extension and custom tools enabled
@ -540,6 +540,11 @@ const { session } = await createAgentSession({
tools: ["read", "bash", "grep"],
});
// Use PowerShell instead of Bash on Windows
const { session } = await createAgentSession({
tools: ["read", "powershell", "edit", "write"],
});
// Disable one tool while keeping the rest available
const { session } = await createAgentSession({
excludeTools: ["ask_question"],
@ -1196,7 +1201,7 @@ SettingsManager
// Tool factories
createCodingTools
createReadOnlyTools
createReadTool, createBashTool, createEditTool, createWriteTool
createReadTool, createBashTool, createPowerShellTool, createEditTool, createWriteTool
createGrepTool, createFindTool, createLsTool
// Types