Download src/types/tools.ts from chenbhao/codev: direct link, hf CLI and curl.
- Browser
- Download file 746 Bytes
-
https://huggingface.co/chenbhao/codev/resolve/main/src/types/tools.ts
- Command line
-
hf download hf://chenbhao/codev/src/types/tools.ts
-
curl -L -o tools.ts https://huggingface.co/chenbhao/codev/resolve/main/src/types/tools.ts
746 Bytes
| export interface WebSearchProgress { | |
| type: 'query_update' | 'search_results_received' | |
| query?: string | |
| resultCount?: number | |
| } | |
| export interface BashProgress { | |
| type: 'bash_progress' | |
| output: string | |
| fullOutput: string | |
| elapsedTimeSeconds?: number | |
| totalLines?: number | |
| } | |
| export interface MCPProgress { | |
| type: string | |
| [key: string]: unknown | |
| } | |
| export interface REPLToolProgress { | |
| type: string | |
| [key: string]: unknown | |
| } | |
| export interface SkillToolProgress { | |
| type: string | |
| [key: string]: unknown | |
| } | |
| export interface TaskOutputProgress { | |
| type: string | |
| [key: string]: unknown | |
| } | |
| export type ToolProgressData = | |
| | WebSearchProgress | |
| | BashProgress | |
| | MCPProgress | |
| | REPLToolProgress | |
| | SkillToolProgress | |
| | TaskOutputProgress |