import type { ToolDefinition } from '@deepseek-ai/dsh-tools'; import { fetchPublicPage } from './fetch.ts'; interface SourceInput { url: string; find: string[]; offset: number; maxChars: number; contextChars: number; } /** A safe raw-source companion to the human-readable standard `web_fetch` tool. */ export declare function webSourceTool(timeoutMs: () => number): ToolDefinition; export declare function renderSourceResult(result: Awaited>, input: SourceInput): string; export {};