/**
 * Agent Batch Tool — Fan-out Operations
 *
 * Run the same tool on multiple workers in parallel.
 * Local workers: dispatched via gRPC streaming (same as agent_send).
 * Peer workers: dispatched via remote master's task API, which internally uses gRPC.
 */
import { ToolDefinition } from '../types/extension.js';
export declare const agentBatchTool: ToolDefinition;
//# sourceMappingURL=agentBatch.d.ts.map