TypeScript SDK

npm install @qwed-ai/sdk
# or
yarn add @qwed-ai/sdk
# or
pnpm add @qwed-ai/sdk

import { QWEDClient } from '@qwed-ai/sdk';

const client = new QWEDClient({ apiKey: 'qwed_your_key' });

const result = await client.verify('Is 2+2=4?');
console.log(result.verified);  // true
console.log(result.status);    // "VERIFIED"

const client = new QWEDClient({
  apiKey: 'qwed_...',
  baseUrl: 'http://localhost:8000',  // Optional
  timeout: 30000,  // Optional, default 30s
});

const result = await client.verify('What is 15% of 200?');

const result = await client.verifyMath('x**2 + 2*x + 1 = (x+1)**2');
console.log(result.verified);  // true

const result = await client.verifyLogic('(AND (GT x 5) (LT y 10))');
console.log(result.result?.model);  // { x: 6, y: 9 }

const result = await client.verifyCode(code, { language: 'python' });
for (const vuln of result.result?.vulnerabilities ?? []) {
  console.log(`${vuln.severity}: ${vuln.message}`);
}

const result = await client.verifyFact(
  'The company was founded in 2020',
  'Acme Corp was established in 2020 in San Francisco.'
);
console.log(result.verified);  // true

const result = await client.verifySQL(
  'SELECT * FROM users WHERE id = 1',
  'CREATE TABLE users (id INT, name TEXT)'
);

// Verify IRAC structure in a reasoning trace
const result = await client.verifyProcess(
  `The issue is whether the contract was breached.
   The rule is Article 2 of the UCC.
   Applying this rule, the defendant failed to deliver on time.
   In conclusion, breach occurred.`,
  { mode: 'irac' }
);

console.log(result.verified);             // true
console.log(result.result?.score);         // 1.0
console.log(result.result?.missing_steps); // []

const result = await client.verifyProcess(
  'Risk assessment complete. Compliance verified. Implementation planned.',
  {
    mode: 'milestones',
    keyMilestones: ['risk assessment', 'compliance', 'implementation'],
  }
);

console.log(result.result?.process_rate);       // 1.0
console.log(result.result?.missed_milestones);  // []

const result = await client.verifyRAG(
  'contract_nda_v2',
  [
    { id: 'c1', metadata: { document_id: 'contract_nda_v2' } },
    { id: 'c2', metadata: { document_id: 'contract_nda_v1' } }, // Wrong doc
  ],
  { maxDrmRate: '0' } // Zero tolerance
);

console.log(result.verified);                // false
console.log(result.result?.drm_rate);        // 0.5
console.log(result.result?.chunks_checked);  // 2
console.log(result.result?.mismatched_count); // 1

const response = await client.verifyBatch([
  { query: '2+2=4', type: VerificationType.Math },
  { query: 'x + x', type: VerificationType.Math },
]);

for (const item of response.items) {
  const result = item.result ?? {};
  if (result.status === 'VERIFIED' && result.proof_ref) {
    // Authoritative — admissible for control flow
    console.log('verified:', result.agent_message, result.proof_ref);
  } else {
    // UNVERIFIABLE or BLOCKED — must reject
    console.log('rejected:', result.status, result.agent_message);
  }
}

const { agent_id, agent_token } = await client.registerAgent({
  agent: {
    name: 'research-assistant',
    type: 'supervised',
    principal_id: 'user-123',
    framework: 'langchain',
  },
  permissions: {
    allowed_engines: [VerificationType.Fact, VerificationType.Code],
  },
  budget: {
    max_daily_cost_usd: 5.0,
    max_requests_per_hour: 100,
  },
});

const response = await client.verifyAgent(
  agent_id,
  agent_token,
  'Summarize the Q3 revenue report',
  {
    provider: 'openai',
    context: {
      conversationId: 'conv_abc123',
      stepNumber: 1,
    },
    toolSchema: {
      name: 'fetch_report',
      description: 'Fetch quarterly report data',
    },
  }
);

console.log(response.decision);  // "APPROVED" | "DENIED" | "CORRECTED"
console.log(response.verification?.risk_level);  // "low"
console.log(response.budget_remaining);

const budget = await client.getAgentBudget(agent_id, agent_token);
console.log(budget.cost.current_daily_usd);
console.log(budget.requests.max_per_hour);

const result = await client.verifyProcess(reasoningTrace, { mode: 'irac' });

console.log(result.result?.['irac.issue']);       // What was evaluated
console.log(result.result?.['irac.rule']);         // The rule being enforced
console.log(result.result?.['irac.application']); // How the rule was applied
console.log(result.result?.['irac.conclusion']);   // Final verdict

import {
  VerificationType,
  VerificationStatus,
  VerificationResponse,
  BatchResponse,
  AgentRegistration,
  AgentVerificationResponse,
  AgentDecision,
} from '@qwed-ai/sdk';

enum VerificationType {
  NaturalLanguage = 'natural_language',
  Math = 'math',
  Logic = 'logic',
  Stats = 'stats',
  Fact = 'fact',
  Code = 'code',
  SQL = 'sql',
  Image = 'image',
  Reasoning = 'reasoning',
  Process = 'process',
  RAG = 'rag',
  Security = 'security',
}

enum VerificationStatus {
  Verified = 'VERIFIED',
  CorrectionNeeded = 'CORRECTION_NEEDED',
  Inconclusive = 'INCONCLUSIVE',   // New in v5.0.0
  Blocked = 'BLOCKED',             // New in v5.0.0
  Unknown = 'UNKNOWN',             // New in v5.0.0
  Error = 'ERROR',
}

import { QWEDError, QWEDAuthError, QWEDRateLimitError } from '@qwed-ai/sdk';

try {
  const result = await client.verify('test');
} catch (error) {
  if (error instanceof QWEDRateLimitError) {
    console.log(error.retryAfter);  // seconds until retry
  } else if (error instanceof QWEDAuthError) {
    console.log('Invalid API key');
  } else if (error instanceof QWEDError) {
    console.log(error.code);     // "QWED-001"
    console.log(error.message);  // "Verification failed"
  }
}