File size: 1,704 Bytes
4e23b01 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 | 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;
};
|