| export type ToolInputDisplay = | |
| | { | |
| kind: 'command'; | |
| command: string; | |
| cwd?: string | undefined; | |
| description?: string | undefined; | |
| language?: 'bash' | undefined; | |
| } | |
| | { | |
| kind: 'file_io'; | |
| operation: 'read' | 'write' | 'edit' | 'glob' | 'grep'; | |
| path: string; | |
| detail?: string | undefined; | |
| content?: string | undefined; | |
| before?: string | undefined; | |
| after?: string | undefined; | |
| } | |
| | { | |
| kind: 'diff'; | |
| path: string; | |
| before: string; | |
| after: string; | |
| hunks?: number | undefined; | |
| } | |
| | { | |
| kind: 'search'; | |
| query: string; | |
| scope?: string | undefined; | |
| } | |
| | { | |
| kind: 'url_fetch'; | |
| url: string; | |
| method?: string | undefined; | |
| } | |
| | { | |
| kind: 'agent_call'; | |
| agent_name: string; | |
| prompt: string; | |
| background?: boolean | undefined; | |
| } | |
| | { | |
| kind: 'skill_call'; | |
| skill_name: string; | |
| args?: string | undefined; | |
| } | |
| | { | |
| kind: 'todo_list'; | |
| items: { title: string; status: string }[]; | |
| } | |
| | { | |
| kind: 'task'; | |
| task_id: string; | |
| status: string; | |
| description: string; | |
| task_kind?: string | undefined; | |
| } | |
| | { | |
| kind: 'task_stop'; | |
| task_id: string; | |
| task_description: string; | |
| } | |
| | { | |
| kind: 'plan_review'; | |
| plan: string; | |
| path?: string | undefined; | |
| options?: readonly { label: string; description: string }[] | undefined; | |
| } | |
| | { | |
| kind: 'goal_start'; | |
| objective: string; | |
| completionCriterion?: string | undefined; | |
| mode: 'manual' | 'yolo'; | |
| } | |
| | { | |
| kind: 'generic'; | |
| summary: string; | |
| detail?: unknown; | |
| }; | |