batch
Combine multiple independent tool calls into a single request for efficiency. Use when you need several reads or searches at once.
Instructions
Multiple tools in one call. Always batch when you need 2+ independent reads/searches. E.g. [{tool:"read_file",arguments:{path:"a.rs"}},{tool:"search",arguments:{pattern:"TODO"}}].
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||