| 82 | } |
| 83 | |
| 84 | async function all(): Promise<Tool.Info[]> { |
| 85 | const custom = await state().then((x) => x.custom) |
| 86 | const config = await Config.get() |
| 87 | |
| 88 | return [ |
| 89 | InvalidTool, |
| 90 | BashTool, |
| 91 | ReadTool, |
| 92 | GlobTool, |
| 93 | GrepTool, |
| 94 | ListTool, |
| 95 | EditTool, |
| 96 | WriteTool, |
| 97 | TaskTool, |
| 98 | WebFetchTool, |
| 99 | TodoWriteTool, |
| 100 | TodoReadTool, |
| 101 | WebSearchTool, |
| 102 | CodeSearchTool, |
| 103 | SkillUseTool, |
| 104 | SkillFindTool, |
| 105 | ...(config.experimental?.batch_tool === true ? [BatchTool] : []), |
| 106 | ...custom, |
| 107 | ] |
| 108 | } |
| 109 | |
| 110 | export async function ids() { |
| 111 | return all().then((x) => x.map((t) => t.id)) |