(p: ToolProps)
| 433 | } |
| 434 | |
| 435 | function runBatch(p: ToolProps): ToolInline { |
| 436 | const calls = list(dict(p.input).tool_calls).length |
| 437 | return { |
| 438 | icon: "#", |
| 439 | title: text(p.frame.state.title) || (calls > 0 ? `Batch ${calls} tool${calls === 1 ? "" : "s"}` : "Batch"), |
| 440 | mode: "block", |
| 441 | body: p.frame.status === "completed" ? text(p.frame.state.output) : undefined, |
| 442 | } |
| 443 | } |
| 444 | |
| 445 | function lspTitle( |
| 446 | input: { |