/**
 * `openlore prove` (Spec 25 Q2) — measure OpenLore's token value on the user's
 * OWN repo and print a personal scorecard. Runs a WITH/WITHOUT agent pass over
 * a few graph-derived orientation tasks, isolated with --strict-mcp-config, and
 * reports cost / round-trips / correctness deltas + an honest verdict.
 *
 * The substrate needs no API key; this command's agent arm does (it shells out
 * to `claude`). When `claude` is absent it fails fast with guidance; `--dry-run`
 * exercises the whole pipeline with clearly-labelled synthetic numbers.
 */
import { Command } from 'commander';
import { type AgentRunner } from '../../core/agent-eval/measure.js';
/**
 * Core (testable) prove run: derive tasks, run both arms N times, return the
 * scorecard text. `runner` is injectable so tests never call a real agent.
 */
export declare function runProve(opts: {
    directory: string;
    runs: number;
    model: string;
    maxBudgetUsd: number;
    dryRun: boolean;
    runner?: AgentRunner;
}): Promise<{
    ok: boolean;
    message: string;
}>;
export declare const proveCommand: Command;
//# sourceMappingURL=prove.d.ts.map