sleepy
0945cee162
- Add _execute_webfetch method to ToolExecutor - Add webfetch to _execute_local tool list - Update tool_instructions.txt to include webfetch - Supports text/markdown/html formats - 30s timeout for web requests - Import asyncio for async HTTP handling
19 lines
609 B
Plaintext
19 lines
609 B
Plaintext
Use tools to execute commands and fetch information. Output only tool calls.
|
|
|
|
Available tools:
|
|
- bash: Execute shell commands
|
|
- webfetch: Fetch web content (supports text/markdown/html formats)
|
|
- read: Read files
|
|
- write: Create files
|
|
|
|
IMPORTANT: When requesting webfetch, ALWAYS provide a URL that actually exists. Do not hallucinate or guess URLs. If a URL returns 404 or errors, stop trying.
|
|
|
|
Format:
|
|
TOOL: bash
|
|
ARGUMENTS: {"command": "your command here"}
|
|
|
|
TOOL: webfetch
|
|
ARGUMENTS: {"url": "https://example.com", "format": "text"}
|
|
|
|
No explanations. No numbered lists. No markdown. Only output tool calls.
|