/**
 * context7 tool — fetches up-to-date library documentation and code examples.
 *
 * Context7 (https://context7.com) provides a free REST API at
 * https://context7.com/api/v1/{libraryId} for resolving library IDs
 * and https://context7.com/api/v2 for general docs/code snippets.
 *
 * No API key required.
 */
import type { ExtensionAPI } from "@earendil-works/pi-coding-agent";
import { renderContext7Result } from "./render.js";
export declare function createContext7Tool(_pi: ExtensionAPI): {
    name: string;
    label: string;
    description: string;
    parameters: import("@sinclair/typebox").TObject<{
        libraryName: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
        topic: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
        maxTokens: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TInteger>;
    }>;
    execute(_id: string, params: Record<string, unknown>, signal: AbortSignal | undefined, onUpdate: ((update: {
        content: Array<{
            type: "text";
            text: string;
        }>;
        details?: Record<string, unknown>;
    }) => void) | undefined): Promise<{
        content: Array<{
            type: "text";
            text: string;
        }>;
        details: {
            error: ReturnType<import("../errors.js").PiSearchError["toJSON"]>;
        };
    } | {
        content: {
            type: string;
            text: string;
        }[];
        details: {
            provider: string;
            libraryId: string;
            topic: string | undefined;
            contentLength: number;
        };
    }>;
    renderCall: (_args: unknown, theme: import("@earendil-works/pi-coding-agent").Theme) => import("@earendil-works/pi-tui").Text;
    renderResult: typeof renderContext7Result;
};
//# sourceMappingURL=context7.d.ts.map