export interface PromptMessage {
    role: "user" | "assistant";
    content: {
        type: "text";
        text: string;
    };
}
export interface PromptResult {
    [key: string]: unknown;
    description?: string;
    messages: PromptMessage[];
}
export declare function promptWriteProgram(task: string): PromptResult;
export declare function promptFixError(errorJson: string): PromptResult;
export declare function promptAddContracts(astJson: string): PromptResult;
export declare function promptReviewAst(astJson: string): PromptResult;
//# sourceMappingURL=prompts.d.ts.map