import type { MartinAdapter } from "../core/index.js";
import { type SpawnLike } from "./cli-bridge.js";
export interface VerifierOnlyAdapterOptions {
    workingDirectory?: string;
    verifyTimeoutMs?: number;
    label?: string;
    spawnImpl?: SpawnLike;
}
export declare function createVerifierOnlyAdapter(options?: VerifierOnlyAdapterOptions): MartinAdapter;