Quickstart

curl -X POST https://codve.ai/api/v1/ai/fix \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "provider": "openai",
    "apiKey": "sk-...",
    "model": "gpt-4o",
    "code": "function divide(a, b) { return a / b; }",
    "functionName": "divide",
    "expectedBehavior": "Safely divides two numbers, handling division by zero"
  }'

curl -X POST https://codve.ai/api/v1/ai/fix \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "provider": "anthropic",
    "apiKey": "sk-ant-...",
    "model": "claude-sonnet-4-20250514",
    "code": "function divide(a, b) { return a / b; }",
    "functionName": "divide"
  }'

curl -X POST https://codve.ai/api/v1/ai/fix \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "provider": "custom",
    "apiKey": "your-api-key",
    "model": "gpt-4o",
    "baseUrl": "https://api.your-provider.com/v1",
    "code": "function divide(a, b) { return a / b; }"
  }'

{
  "success": true,
  "originalCode": "function divide(a, b) { return a / b; }",
  "patchedCode": "function divide(a, b) {\n  if (b === 0) throw new Error('Division by zero');\n  return a / b;\n}",
  "beforeConfidence": 45,
  "afterConfidence": 92,
  "iterations": 1,
  "verificationResult": {
    "confidence": 92,
    "verdict": "likely_correct",
    "findings": [...]
  },
  "usage": {
    "aiTokens": 847,
    "codveUsage": { "current": 15, "limit": 100 }
  }
}

curl -X POST https://codve.ai/api/v1/ai/generate-and-verify \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "provider": "openai",
    "apiKey": "sk-...",
    "prompt": "A function that validates email addresses",
    "expectedBehavior": "Returns true for valid emails, false for invalid. Handles edge cases like missing @ symbol, invalid domains, etc.",
    "functionName": "isValidEmail"
  }'

{
  "success": true,
  "generatedCode": "function isValidEmail(email) { ... }",
  "finalCode": "function isValidEmail(email) { ... }",
  "confidence": 89,
  "wasFixed": true,
  "fixIterations": 1,
  "verificationResult": {
    "confidence": 89,
    "verdict": "likely_correct",
    "findings": [...]
  },
  "usage": {
    "aiTokens": 1523,
    "codveUsage": { "current": 16, "limit": 100 }
  }
}

curl -X POST https://codve.ai/api/specs/from-requirements \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "name": "Email Validator",
    "requirements": "A function that validates email addresses. Must check for @ symbol, valid domain, no spaces, and proper format.",
    "targetType": "function",
    "targetRef": "validateEmail"
  }'

{
  "id": "spec_abc123",
  "name": "Email Validator",
  "status": "draft",
  "version": {
    "preconditions": [
      { "expr": "typeof email === 'string'", "severity": "error" }
    ],
    "postconditions": [
      { "expr": "result === true || result === false", "severity": "error" },
      { "expr": "email.includes('@') || result === false", "severity": "error" }
    ],
    "invariants": [
      { "expr": "email with spaces returns false", "severity": "warning" }
    ],
    "metamorphicRelations": [
      { "expr": "validate(email) === validate(email.toLowerCase())", "confidence": "medium" }
    ],
    "edgeCases": ["empty string", "null", "no @", "multiple @", "unicode"]
  }
}

curl -X POST https://codve.ai/api/specs/from-code \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "name": "Sort Function",
    "code": "function sort(arr) { return [...arr].sort((a,b) => a-b); }",
    "targetType": "function",
    "targetRef": "sort"
  }'

{
  "id": "spec_def456",
  "name": "Sort Function",
  "status": "draft",
  "source": "code",
  "version": {
    "preconditions": [
      { "expr": "Array.isArray(arr)", "confidence": "high" }
    ],
    "postconditions": [
      { "expr": "result.length === arr.length", "confidence": "high" },
      { "expr": "result is sorted ascending", "confidence": "high" },
      { "expr": "original arr is unchanged", "confidence": "high" }
    ],
    "invariants": [
      { "expr": "sort(sort(arr)) === sort(arr)", "confidence": "medium" }
    ]
  }
}

curl -X POST https://codve.ai/api/specs/spec_abc123/verify \
  -H "Authorization: Bearer vk_live_xxx.xxx" \
  -H "Content-Type: application/json" \
  -d '{
    "code": "function validateEmail(email) { return email.includes('@'); }"
  }'

{
  "status": "fail",
  "counterexamples": [
    {
      "ruleId": "post_2",
      "input": { "email": "test @example.com" },
      "expected": "false (contains space)",
      "actual": "true"
    }
  ],
  "report": {
    "ruleFailCounts": { "postconditions": 1 },
    "confidenceScore": 72,
    "failingRuleIds": ["post_2"]
  }
}