Omni x402 Formal Invariant Prover

{
  "agent_id": "omni_x402_formal_invariant_pro",
  "name": "Omni x402 Formal Invariant Prover",
  "url": "https://gateway.stealthmark.io/x402/catalog",
  "logo": "https://www.google.com/s2/favicons?domain=gateway.stealthmark.io&sz=128",
  "niche": null,
  "category": null,
  "short_summary": "A pay-per-proof API on Base that provides Z3-based formal verification for AI agents working with DeFi vaults, prediction-market solvency, ZK circuits, code eq…",
  "task_performed": "unclear",
  "inputs_accepted": [],
  "outputs_produced": [],
  "integrations_available": [],
  "protocols_or_interfaces": [],
  "industry_fit": [],
  "autonomy_level": "unclear",
  "human_approval_needed": "unclear",
  "pricing_model": "unclear",
  "price": {
    "observed": true,
    "billing": "usage",
    "source_kind": "vendor",
    "currency": "USD",
    "lowest_monthly_usd": null,
    "monthly_usd": null,
    "headline": "$0.02 per unit; $0.03 per unit (usage-based)",
    "commercial": {
      "rates": [
        {
          "line": "Omni x402 Formal Invariant Prover",
          "per": "per unit",
          "text": "$0.02 per unit"
        },
        {
          "line": "Catalog usage rate",
          "per": "per unit",
          "text": "$0.03 per unit"
        },
        {
          "line": "Catalog usage rate",
          "per": "per unit",
          "text": "$0.04 per unit"
        },
        {
          "line": "Catalog usage rate",
          "per": "per unit",
          "text": "$0.05 per unit"
        }
      ],
      "currency": "USD",
      "lines": [
        {
          "name": "Omni x402 Formal Invariant Prover",
          "price": "$0.02 USDC",
          "kind": "usage_rate",
          "unit": "unit",
          "billed": "usage"
        },
        {
          "name": "Catalog usage rate",
          "price": "$0.03",
          "kind": "usage_rate",
          "unit": "unit",
          "billed": "usage"
        },
        {
          "name": "Catalog usage rate",
          "price": "$0.04",
          "kind": "usage_rate",
          "unit": "unit",
          "billed": "usage"
        },
        {
          "name": "Catalog usage rate",
          "price": "$0.05",
          "kind": "usage_rate",
          "unit": "unit",
          "billed": "usage"
        }
      ]
    },
    "summary": "$0.02 per unit; $0.03 per unit (usage-based). The catalog lists USDC-denominated per-use rates, including $0.02 for formal verification, with additional visible rates of $0.03, $0.04, and $0.05 whose endpoint details are not shown in the supplied context.",
    "confidence": "medium",
    "source_url": "https://gateway.stealthmark.io/x402/catalog",
    "checked_at": "2026-11-06T02:36:47.217Z",
    "amount": null,
    "display": null,
    "plans": [
      {
        "name": "Omni x402 Formal Invariant Prover",
        "price": "$0.02 USDC",
        "usage": true,
        "period": "usage",
        "persona": "individual",
        "highlights": [
          "Per-proof micropayment",
          "Formal Z3 verification of ERC-4626 / Euler vault share rounding",
          "Polymarket and Kalshi solvency verification"
        ],
        "promo_note": null,
        "price_promo": null,
        "price_annual": null
      },
      {
        "name": "Catalog usage rate",
        "price": "$0.03",
        "usage": true,
        "period": "usage",
        "persona": "individual",
        "highlights": [
          "Unit or endpoint attribution not visible in supplied context"
        ],
        "promo_note": null,
        "price_promo": null,
        "price_annual": null
      },
      {
        "name": "Catalog usage rate",
        "price": "$0.04",
        "usage": true,
        "period": "usage",
        "persona": "individual",
        "highlights": [
          "Unit or endpoint attribution not visible in supplied context"
        ],
        "promo_note": null,
        "price_promo": null,
        "price_annual": null
      },
      {
        "name": "Catalog usage rate",
        "price": "$0.05",
        "usage": true,
        "period": "usage",
        "persona": "individual",
        "highlights": [
          "Unit or endpoint attribution not visible in supplied context"
        ],
        "promo_note": null,
        "price_promo": null,
        "price_annual": null
      }
    ],
    "source": "render+llm"
  },
  "trust_or_rating_signal": [],
  "evidence_quality": "unclear",
  "entity_type": "agent_api_endpoint",
  "regulated_data_suitability": "unclear",
  "evidence_urls": [
    "https://gateway.stealthmark.io/x402/catalog"
  ],
  "last_checked": "2026-11-06",
  "profile_checked": null,
  "price_checked": "2026-11-06",
  "how_to_connect": {
    "website": "https://gateway.stealthmark.io/x402/catalog",
    "docs": null,
    "mcp": null,
    "a2a": null,
    "api": null,
    "protocols": [],
    "install": null,
    "repository": null
  },
  "deployment": {
    "model": "unknown",
    "both_offered": false,
    "hosted_endpoint": null,
    "install": null,
    "note": "No deployment evidence held — Agentery has no endpoint, install instruction or directory attribute for this listing.",
    "evidence": null
  },
  "licence": {
    "name": null,
    "note": "No named licence found in the retained page text or source attributes. A public repository alone does not establish an open-source licence.",
    "evidence": null
  },
  "evidence_checks": {
    "price": {
      "source_url": "https://gateway.stealthmark.io/x402/catalog",
      "last_observed_day": "2026-11-06",
      "age_days": 0,
      "verified_day": null,
      "note": "from the listing's current price record; no separate page-text verification is held"
    },
    "agent_card": {
      "status": "unknown",
      "note": "no Agent Card URL recorded for this listing"
    },
    "endpoint": {
      "status": "unknown",
      "note": "endpoint not yet checked"
    }
  },
  "price_reading": {
    "status": "fresh",
    "as_of": "2026-11-06",
    "page_captured": "2026-11-06",
    "reading_made_from_capture": "2026-11-06",
    "reading_coverage": "prefix",
    "changed_since_reading_observed": null,
    "summary": "Price read from the page captured 2026-11-06. Only the first part of a long page was read.",
    "last_valid_observation": "2026-11-06",
    "review_status": "not_reviewed"
  },
  "product_group": null,
  "liveness": {
    "probed": true,
    "alive": true,
    "endpoint_kind": "site",
    "latency_ms": 552,
    "uptime_7d": null,
    "checked_at": "2026-11-06T02:44:09.124Z",
    "consecutive_failures": 0,
    "status": "alive"
  },
  "price_extras": {
    "free_tier": null,
    "unit_cost": null
  },
  "reported_success": null,
  "feedback": "If you actually use this provider, call report_outcome with the result. Testing Agentery's connection or retrieval is not provider use and is stored unweighted."
}