import type { AssaySDKConfig, GenerateOptions, VerifyOptions, VerifiedCode, VerificationResult } from './types.js';
export declare class AssaySDK {
    private config;
    constructor(config?: AssaySDKConfig);
    generate(options: GenerateOptions): Promise<VerifiedCode>;
    verify(options: VerifyOptions): Promise<VerificationResult>;
}
export type { AssaySDKConfig, GenerateOptions, VerifyOptions, VerifiedCode, VerificationResult, CodeClaim, ClaimVerdict, ClaimVerification, FormalStats, FormalCoverage, ProgressEvent, } from './types.js';
export { verifyFindings } from './finding-verify.js';
export type { ExternalFinding, FindingVerifyRequest, FindingVerifyResponse, FindingVerdict, FindingDecision, FindingSeverity, } from './finding-verify.js';