import type { PromptContext } from '../types';
/**
 * Renders the Completion Proof section.
 */
export declare function renderCompletionProof(ctx: PromptContext): string;
//# sourceMappingURL=completionProof.d.ts.map