import { type InclusionProof, type LedgerEvent } from '../compliance/ImmutableLedger.js';
/**
 * visus_get_ledger_proof MCP Tool
 *
 * Retrieves a tamper-evident proof for a specific request, including the event and Merkle inclusion proof.
 * For auditors and compliance verification (EU AI Act Art. 12).
 */
export declare function visusGetLedgerProof(request_id: string): Promise<LedgerEvent & {
    proof: InclusionProof;
}>;
export declare const visusGetLedgerProofToolDefinition: {
    name: string;
    title: string;
    description: string;
    inputSchema: {
        type: string;
        properties: {
            request_id: {
                type: string;
                description: string;
            };
        };
        required: string[];
    };
    readOnlyHint: boolean;
    destructiveHint: boolean;
    idempotentHint: boolean;
};
//# sourceMappingURL=ledger-proof.d.ts.map