import type { SpecSynthesisResult } from '../types.js';
export declare function synthesizeSpecs(task: string, language: string, onProgress?: (msg: string) => void): Promise<SpecSynthesisResult>;