lean-agentic/dist/node.d.ts

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

/**
 * lean-agentic/node TypeScript definitions
 * Node.js-specific bindings
 *
 * @module lean-agentic/node
 * @author ruv.io
 * @license Apache-2.0
 */

/**
 * Node.js interface for lean-agentic
 */
export class LeanDemo {
  constructor();
  createIdentity(): string;
  createApplication(): string;
  demonstrateHashConsing(): string;
}

export function createDemo(): LeanDemo;
export function quickStart(): Promise<string>;

export namespace wasm {
  export class LeanDemo {
    constructor();
    create_identity(): string;
    create_application(): string;
    demonstrate_hash_consing(): string;
  }
}