mcard-js/dist/ptr/node/runtimes/lean.d.ts

MCard - Content-addressable storage with cryptographic hashing, handle resolution, and vector search for Node.js and browsers

/**
 * Lean runtime executor.
 *
 * Executes Lean 4 code via the lean CLI with source caching.
 */
import { Runtime } from './base.js';
export declare class LeanRuntime implements Runtime {
    execute(code: string, context: unknown, config: any): Promise<unknown>;
}
//# sourceMappingURL=lean.d.ts.map