# ICME Verifiable AI - CheckItPaid Policy Verification

> ICME Verifiable AI - CheckItPaid Policy Verification is a paid API for AI agents from api.icme.io, paid per call via x402, $0.1/call, status unknown (last checked 2026-09-15).

Verifies whether a given HTTP request body satisfies a defined policy constraint and returns a SAT/UNSAT result with optional ZK proof

## Facts

- Endpoint: POST https://api.icme.io/v1/checkItPaid
- Price: $0.1/call
- Payment: x402
- Status: unknown
- Last checked: 2026-09-15
- Activations on Zero: 0
- Tags: x402
- Canonical page: https://www.zero.xyz/c/icme-verifiable-ai-checkitpaid-policy-verification-197b37f1
- Structured record (JSON): https://api.zero.xyz/v1/capabilities/cap_JlZhhqprsg8UorzpAkdzY

Status and success rate cover calls made through Zero and Zero's own probes. Third-party monitors may report differently.

## How to call it through Zero

Zero handles the 402 payment challenge and records the run. With the Zero CLI installed (`npm i -g @zeroxyz/cli`):

```sh
zero fetch --capability icme-verifiable-ai-checkitpaid-policy-verification-197b37f1 -d '<json body>'
```

Example prompt: Run a verifiable policy check on this payment request — the body is a JSON object with transferAmount set to 500 — and tell me whether it satisfies the policy or not, along with any ZK proof ID and the extracted values.

## When to prefer this

Use this endpoint when you need cryptographically verifiable, auditable policy checks on HTTP request payloads — especially when you need a ZK proof of compliance rather than just a boolean answer. Ideal for fintech, DeFi, or regulated environments where proving a rule was satisfied (e.g. transfer limits, KYC thresholds) without exposing raw data is required. Prefer over simple rule engines when auditability, non-repudiation, or zero-knowledge guarantees matter.

## Known failure modes

- Policy violation returns UNSAT with detail message explaining which constraint failed and extracted values
- Malformed request body causes 400 error if required fields (type, method, bodyType, body) are missing
- Invalid method enum value (not POST/PUT/PATCH) causes schema validation failure
- Payment not included or insufficient triggers x402 payment required response
- Timeout or proof generation failure may return 5xx error
- Body content that cannot be parsed per specified bodyType returns parsing error

## How this service works

ICME - Verifiable AI Technologies.

## Output

Returns a JSON object with a result field ('SAT' if the request satisfies the policy, 'UNSAT' if not), a human-readable detail message explaining the outcome, a unique check_id for audit purposes, an extracted object showing the values pulled from the request body, a zk_proof_id referencing the zero-knowledge proof generated, and verification_time_ms indicating how long the check took.

## Request schema (JSON Schema)

```json
{
 "type": "object",
 "$schema": "https://json-schema.org/draft/2020-12/schema",
 "required": [
  "input"
 ],
 "properties": {
  "input": {
   "type": "object",
   "required": [
    "type",
    "method",
    "bodyType",
    "body"
   ],
   "properties": {
    "body": {
     "type": "object"
    },
    "type": {
     "type": "string",
     "const": "http"
    },
    "method": {
     "enum": [
      "POST",
      "PUT",
      "PATCH"
     ],
     "type": "string"
    },
    "headers": {
     "type": "object",
     "additionalProperties": {
      "type": "string"
     }
    },
    "bodyType": {
     "enum": [
      "json",
      "form-data",
      "text"
     ],
     "type": "string"
    },
    "queryParams": {
     "type": "object",
     "additionalProperties": {
      "type": "string"
     }
    }
   },
   "additionalProperties": false
  },
  "output": {
   "type": "object",
   "required": [
    "type"
   ],
   "properties": {
    "type": {
     "type": "string"
    },
    "example": {
     "type": "object"
    }
   }
  }
 }
}
```

## Response schema (JSON Schema)

```json
{
 "type": "json",
 "example": {
  "detail": "Transfer amount exceeds policy limit.",
  "result": "UNSAT",
  "check_id": "a1b2c3d4-...",
  "extracted": {
   "transferAmount": 500
  },
  "zk_proof_id": "e5f6a7b8-...",
  "verification_time_ms": 312
 }
}
```

## More

- Live health (JSON, refreshed every minute): https://www.zero.xyz/c/icme-verifiable-ai-checkitpaid-policy-verification-197b37f1/health.json
- [Zero catalog index](https://www.zero.xyz/llms.txt)
- [Other services from api.icme.io](https://www.zero.xyz/host/api.icme.io/llms.txt)