{"x402Version":1,"supportedVersions":[1,2],"catalogVersion":"1.0.0","name":"omni-x402-prover","title":"Omni x402 Formal Invariant Prover","description":"Production-grade formal verification pay-per-proof server on Base. Autonomous AI agents pay USDC micropayments per formal Z3 proof of DeFi vaults, Polymarket solvency, ZK circuits, and differential consensus.","provider":{"name":"Omni Money Suite","network":"base","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","payTo":"0xc8dc4ecb93c4c665Fad07E1261F5f7D60e3C6E0F","assetSymbol":"USDC","assetDecimals":6},"endpoints":[{"resource":"https://gateway.stealthmark.io/x402/verify-vault-and-rounding","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Formal Z3 verification of ERC-4626 / Euler vault share rounding & zero-share inflation attacks","inputSchema":{"type":"object","properties":{"deposit_fn_code":{"type":"string","description":"Python/AST code for preview_deposit"},"redeem_fn_code":{"type":"string","description":"Python/AST code for preview_redeem"},"max_assets":{"type":"integer","default":10000},"max_shares":{"type":"integer","default":10000},"check_zero_share_mint":{"type":"boolean","default":false}},"required":["deposit_fn_code","redeem_fn_code"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"solver_mode":{"type":"string"},"counterexample":{"type":["object","null"]},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-polymarket-basket","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Formal verification of Polymarket NegRisk / CTF token solvency and Dutch-book net edge, plus Kalshi Arb Trap resolution divergence","inputSchema":{"type":"object","properties":{"outcome_ask_prices":{"type":"array","items":{"type":"number"},"description":"List of best ask prices across all basket outcomes"},"fee_bps":{"type":"integer","default":0},"payout_per_share":{"type":"number","default":10000},"custom_conversion_formula":{"type":["string","null"]},"polymarket_rules":{"type":"string","description":"Raw resolution rules for Polymarket market"},"kalshi_rules":{"type":"string","description":"Raw resolution rules for Kalshi market"},"polymarket_slug":{"type":"string","description":"Polymarket market slug"},"kalshi_ticker":{"type":"string","description":"Kalshi market ticker"}}},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"dutch_book_edge_detected":{"type":"boolean"},"arbitrage_edge_atomic":{"type":"integer"},"total_basket_cost_atomic":{"type":"integer"},"payout_per_share_atomic":{"type":"integer"},"arb_trap_detected":{"type":"boolean"},"risk_grade":{"type":"string"},"arb_trap_witness":{"type":["object","null"]},"viral_x_alert":{"type":["string","null"]}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-zk-and-bitvec","method":"POST","priceAtomic":"30000","priceHuman":"$0.03 USDC","description":"Formal Z3 verification of ZK witness uniqueness or BitVector integer cast truncation","inputSchema":{"type":"object","properties":{"mode":{"type":"string","enum":["zk","bitvec"]},"expr":{"type":"string"},"var_bitwidths":{"type":"object"},"target_bitwidth":{"type":"integer"},"public_inputs":{"type":"array","items":{"type":"string"}},"witness_vars":{"type":"array","items":{"type":"string"}},"output_var":{"type":"string"},"constraints_exprs":{"type":"array","items":{"type":"string"}}}},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"solver_mode":{"type":"string"},"counterexample":{"type":["object","null"]}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-differential-spec","method":"POST","priceAtomic":"50000","priceHuman":"$0.05 USDC","description":"Differential equivalence verification between code_a and code_b across boundary grids","inputSchema":{"type":"object","properties":{"code_a":{"type":"string"},"code_b":{"type":"string"},"arg_names":{"type":"array","items":{"type":"string"}},"fuzz_iterations":{"type":"integer","default":256},"seed":{"type":"integer","default":42}},"required":["code_a","code_b","arg_names"]},"outputSchema":{"type":"object","properties":{"equivalent":{"type":"boolean"},"solver_mode":{"type":"string"},"checked_cases":{"type":"integer"},"divergence":{"type":["object","null"]}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-forensic-graph","method":"POST","priceAtomic":"50000","priceHuman":"$0.05 USDC","description":"On-chain and PSP forensic graph engine: Tarjan cyclic loop collapse, Jupiter Lend receipt handover, bridge hop correlation, and taint propagation","inputSchema":{"type":"object","properties":{"transactions":{"type":"array","items":{"type":"object"},"description":"List of transaction edges"},"tainted_sources":{"type":"array","items":{"type":"string"},"description":"Seed exploit or tainted wallet addresses"},"protocol_nodes":{"type":"array","items":{"type":"string"},"description":"Known protocol/vault/bridge nodes excluded from cyclic collapse"},"bridge_nodes":{"type":"array","items":{"type":"string"},"description":"Privacy bridge/swap nodes for entry-exit correlation"},"max_window_seconds":{"type":"integer","default":259200},"amount_tolerance":{"type":"number","default":0.05},"bridge_max_window_seconds":{"type":"integer","default":7200},"bridge_fee_tolerance":{"type":"number","default":0.05},"task":{"type":"object","description":"Optional SwarmTaskV2 payload"},"token_address":{"type":"string","description":"Mode C: Target ERC-20 / vault token address to verify collateral backing"},"vault_address":{"type":"string","description":"Mode C: Alternative parameter for vault address"},"streams_demo":{"type":"string","description":"Mode C: Built-in deterministic demo ('xusd_deusd_circular', 'opaque_offchain_yield', 'clean_erc4626_usdc')"},"collateral_topology":{"type":"object","description":"Mode C: Custom in-memory collateral dependency graph topology"},"chain":{"type":"string","default":"ethereum","description":"Target blockchain for Mode C ('ethereum', 'base', 'arbitrum')"}}},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"mode":{"type":"string"},"receipt_links_resolved":{"type":"integer"},"privacy_bridge_links_resolved":{"type":"integer"},"cyclic_clusters":{"type":"array","items":{"type":"string"}},"node_to_cluster":{"type":"object"},"dag_edges":{"type":"array","items":{"type":"object"}},"taint_scores":{"type":"object"},"high_risk_protocol_exits":{"type":"array","items":{"type":"object"}}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-ast-blast-radius","method":"POST","priceAtomic":"30000","priceHuman":"$0.03 USDC","description":"Deterministic 2-hop AST call-graph blast-radius and upstream-to-fork patch-gap readiness verification","inputSchema":{"type":"object","properties":{"patch_text":{"type":"string","description":"Unified git diff of the patch"},"modified_symbols":{"type":"array","items":{"type":"string"},"description":"Explicit list of modified symbol names"},"graph_data":{"type":"object","description":"NetworkX/Graphify node-link format graph data"},"source_code":{"type":"string","description":"Python source code to extract call-graph from"},"fork_code":{"type":"string","description":"Fork repository source code"},"upstream_patch_spec":{"type":"object","description":"Upstream security patch specification"}}},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"modified_symbols":{"type":"array","items":{"type":"string"}},"one_hop_callers":{"type":"array","items":{"type":"string"}},"one_hop_callees":{"type":"array","items":{"type":"string"}},"two_hop_callers":{"type":"array","items":{"type":"string"}},"two_hop_callees":{"type":"array","items":{"type":"string"}},"blast_radius_score":{"type":"integer"},"patch_gap_report":{"type":["object","null"]}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-erc4626-inflation-guard","method":"POST","priceAtomic":"30000","priceHuman":"$0.03 USDC","description":"Formal verification of ERC-4626 vault virtual share offset and zero-share inflation attack prevention","inputSchema":{"type":"object","properties":{"virtual_shares_offset":{"type":"integer","default":0},"virtual_assets_offset":{"type":"integer","default":0},"attacker_initial_deposit":{"type":"integer","default":1},"attacker_donation":{"type":"integer","default":10000},"victim_deposit":{"type":"integer","default":9999},"deposit_fn_code":{"type":"string"},"redeem_fn_code":{"type":"string"}}},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"solver_mode":{"type":"string"},"inflation_vulnerable":{"type":"boolean"},"victim_shares_minted":{"type":"integer"},"min_donation_for_zero_shares":{"type":["integer","null"]},"recommended_virtual_offset":{"type":"integer"},"counterexample":{"type":["object","null"]},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-amm-constant-product","method":"POST","priceAtomic":"30000","priceHuman":"$0.03 USDC","description":"Formal verification of constant-product AMM k invariant preservation and exact integer rounding direction","inputSchema":{"type":"object","properties":{"reserve_x":{"type":"integer"},"reserve_y":{"type":"integer"},"amount_in":{"type":"integer"},"amount_out":{"type":"integer"},"fee_bps":{"type":"integer","default":30},"rounding_direction":{"type":"string","enum":["down","up"],"default":"down"}},"required":["reserve_x","reserve_y"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"solver_mode":{"type":"string"},"k_before":{"type":"integer"},"k_after":{"type":"integer"},"max_valid_amount_out":{"type":"integer"},"invariant_violated":{"type":"boolean"},"counterexample":{"type":["object","null"]},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-crosschain-bridge-memo","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Crosschain bridge memo syntax, injection-prevention, affiliate fee ceiling, and multichain token Z3 invariant verification (OFT/NTT/CCIP)","inputSchema":{"type":"object","properties":{"memo":{"type":"string"},"max_affiliate_bps":{"type":"integer","default":100},"require_slippage_limit":{"type":"boolean","default":true},"token_address":{"type":"string","description":"Token contract address on home chain"},"chain":{"type":"string","description":"Home chain name (e.g. 'base')","default":"base"},"standard":{"type":"string","description":"Multichain token standard: OFT, NTT, CCIP","default":"OFT"},"chains_config":{"type":"object","description":"Offline chain topologies and peer maps"},"multichain_chains":{"type":"array","items":{"type":"string"},"description":"List of chain names to audit"}}},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"action":{"type":"string"},"target_asset":{"type":"string"},"destination":{"type":"string"},"limit_atomic":{"type":"integer"},"affiliate_bps":{"type":"integer"},"issues":{"type":"array","items":{"type":"string"}},"message":{"type":"string"},"multichain_token_audit":{"type":["object","null"]},"eas_attestation":{"type":["object","null"]}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-cardano-eutxo-conservation","method":"POST","priceAtomic":"30000","priceHuman":"$0.03 USDC","description":"Cardano eUTxO value conservation, multi-asset balance, minUTxO compliance, and Plutus double satisfaction audit","inputSchema":{"type":"object","properties":{"inputs":{"type":"array","items":{"type":"object"}},"outputs":{"type":"array","items":{"type":"object"}},"minted":{"type":"object"},"fee_lovelace":{"type":"integer","default":200000},"min_utxo_lovelace":{"type":"integer","default":1000000}},"required":["inputs","outputs"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"lovelace_conserved":{"type":"boolean"},"native_assets_conserved":{"type":"boolean"},"min_utxo_respected":{"type":"boolean"},"double_satisfaction_risk":{"type":"boolean"},"issues":{"type":"array","items":{"type":"string"}},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-mev-sandwich-bound","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Analytical binary-search MEV sandwich profitability bound and optimal frontrun/backrun impact verification","inputSchema":{"type":"object","properties":{"reserve_in":{"type":"integer"},"reserve_out":{"type":"integer"},"user_amount_in":{"type":"integer"},"slippage_bps":{"type":"integer","default":100},"fee_bps":{"type":"integer","default":30},"attacker_gas_cost_in":{"type":"integer","default":0}},"required":["reserve_in","reserve_out","user_amount_in"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"expected_user_out":{"type":"integer"},"user_min_out":{"type":"integer"},"optimal_frontrun_in":{"type":"integer"},"victim_sandwiched_out":{"type":"integer"},"attacker_gross_profit_in":{"type":"integer"},"attacker_net_profit_in":{"type":"integer"},"sandwich_profitable":{"type":"boolean"},"recommended_max_slippage_bps":{"type":"integer"},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-permit2-signature-scope","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Pre-signing audit for Uniswap Permit2 allowance signatures: unlimited approval, expiration, deadline, and spender","inputSchema":{"type":"object","properties":{"spender":{"type":"string"},"amount":{"type":["integer","string"]},"expiration":{"type":"integer"},"sig_deadline":{"type":"integer"},"chain_id":{"type":"integer","default":8453},"current_timestamp":{"type":"integer"},"max_requested_amount":{"type":"integer"},"trusted_spenders":{"type":"array","items":{"type":"string"}}},"required":["spender","amount","expiration","sig_deadline"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"unlimited_approval":{"type":"boolean"},"risks":{"type":"array","items":{"type":"string"}},"spender":{"type":"string"},"chain_id":{"type":"integer"},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-liquidation-waterfall","method":"POST","priceAtomic":"40000","priceHuman":"$0.04 USDC","description":"Lending market liquidation solvency audit: health factor, close factor, bonus insolvency cap, and bad debt shortfall","inputSchema":{"type":"object","properties":{"collateral_value":{"type":"integer"},"debt_value":{"type":"integer"},"liquidation_threshold_bps":{"type":"integer","default":8500},"liquidation_bonus_bps":{"type":"integer","default":500},"close_factor_bps":{"type":"integer","default":5000},"insurance_fund_balance":{"type":"integer","default":0}},"required":["collateral_value","debt_value"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"health_factor_bps":{"type":"integer"},"liquidatable":{"type":"boolean"},"repaid_debt":{"type":"integer"},"seized_collateral":{"type":"integer"},"bad_debt_remaining":{"type":"integer"},"insurance_fund_sufficient":{"type":"boolean"},"socialized_loss":{"type":"integer"},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-merkle-airdrop-claim","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Merkle airdrop distribution integrity: double-hash preimage resistance, duplicate claim elimination, and canonical root","inputSchema":{"type":"object","properties":{"claims":{"type":"array","items":{"type":"object","properties":{"account":{"type":"string"},"index":{"type":"integer"},"amount":{"type":"integer"}},"required":["account","amount"]}},"leaf_hash_mode":{"type":"string","enum":["double_hash","single_hash","raw_64_bytes"],"default":"double_hash"}},"required":["claims"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"second_preimage_vulnerable":{"type":"boolean"},"duplicate_claims":{"type":"array","items":{"type":"string"}},"total_airdrop_atomic":{"type":"integer"},"computed_merkle_root":{"type":"string"},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-fiat-crypto-otc-settlement","method":"POST","priceAtomic":"50000","priceHuman":"$0.05 USDC","description":"Fiat-to-crypto OTC settlement reconciliation: cross-currency FX spread verification, skimming check, and CMP-PSAV certificate","inputSchema":{"type":"object","properties":{"fiat_legs":{"type":"array","items":{"type":["object","integer"]}},"crypto_legs":{"type":"array","items":{"type":["object","integer"]}},"agreed_fx_ars_per_usd":{"type":"number"},"max_spread_bps":{"type":"integer","default":50},"fee_bps":{"type":"integer","default":0}},"required":["fiat_legs","crypto_legs","agreed_fx_ars_per_usd"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"total_fiat_ars_cents":{"type":"integer"},"total_crypto_usdc_atomic":{"type":"integer"},"effective_spread_bps":{"type":"integer"},"spread_skimming_detected":{"type":"boolean"},"cmp_psav_certificate_sha256":{"type":"string"},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-sar-ed25519-dossier","method":"POST","priceAtomic":"50000","priceHuman":"$0.05 USDC","description":"Synthetic Aperture Radar (SAR) IUU dark-vessel detection, EEZ territorial intrusion, and Ed25519 RFC 8032 canonical dossier audit","inputSchema":{"type":"object","properties":{"vessel_id":{"type":"string","default":"UNKNOWN"},"lat":{"type":"number"},"lon":{"type":"number"},"rcs_db":{"type":"number","default":50.0},"ais_active":{"type":"boolean","default":false},"eez_lat_range":{"type":"array","items":{"type":"number"},"default":[-60.0,-40.0]},"eez_lon_range":{"type":"array","items":{"type":"number"},"default":[-68.0,-50.0]},"ed25519_pubkey_hex":{"type":"string"},"ed25519_signature_hex":{"type":"string"},"dossier_payload":{"type":["object","string"]}},"required":["lat","lon"]},"outputSchema":{"type":"object","properties":{"verified":{"type":"boolean"},"check_type":{"type":"string"},"inside_eez":{"type":"boolean"},"dark_vessel_detected":{"type":"boolean"},"ed25519_canonical_s_valid":{"type":"boolean"},"dossier_sha256":{"type":"string"},"message":{"type":"string"}}}},{"resource":"https://gateway.stealthmark.io/x402/screen-ofac-sanctions","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Defensive OFAC SDN sanctions screening of a crypto address against the U.S. Treasury list, with a self-certifying SHA-256 attestation digest","inputSchema":{"type":"object","properties":{"address":{"type":"string","description":"Blockchain address to screen (EVM 0x..., BTC, or other)"},"asset_hint":{"type":"string","description":"Optional asset family hint; ignored for matching"}},"required":["address"]},"outputSchema":{"type":"object","properties":{"check_type":{"type":"string"},"address":{"type":"string"},"address_normalized":{"type":"string"},"asset_hint":{"type":"string"},"is_sanctioned":{"type":"boolean"},"match":{"type":["object","null"]},"list_source":{"type":"string"},"list_publish_date":{"type":["string","null"]},"list_entry_count":{"type":"integer"},"authoritative":{"type":"boolean"},"screened_at":{"type":"string"},"message":{"type":"string"},"attestation":{"type":"object"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-cctp-route","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Formal verification of Circle CCTP cross-chain transfer paths (Base, Arbitrum, Ethereum)","inputSchema":{"type":"object","properties":{"source_chain_id":{"type":"integer","default":8453},"dest_chain_id":{"type":"integer","default":42161},"amount_usdc":{"type":"number","default":100.0}},"required":["source_chain_id","dest_chain_id"]},"outputSchema":{"type":"object","properties":{"valid":{"type":"boolean"},"source_domain":{"type":["integer","null"]},"dest_domain":{"type":["integer","null"]},"source_token_messenger":{"type":["string","null"]},"dest_token_messenger":{"type":["string","null"]},"message":{"type":"string"},"request_digest":{"type":"string","description":"SHA-256 of fields in this response; unsigned, not an attestation"}}}},{"resource":"https://gateway.stealthmark.io/x402/detect-collateral-cycles","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Tarjan SCC cyclic loop detection across DeFi lending markets (Morpho Blue / Aave v3) to prevent cascade liquidation","inputSchema":{"type":"object","properties":{"edges":{"type":"array","items":{"type":"object","properties":{"source_asset":{"type":"string"},"target_asset":{"type":"string"},"protocol":{"type":"string"},"max_ltv_bps":{"type":"integer"}},"required":["source_asset","target_asset"]}}}},"outputSchema":{"type":"object","properties":{"has_circular_risk":{"type":"boolean"},"cycle_count":{"type":"integer"},"detected_cycles":{"type":"array"},"status":{"type":"string"},"message":{"type":"string"},"request_digest":{"type":"string","description":"SHA-256 of fields in this response; unsigned, not an attestation"}}}},{"resource":"https://gateway.stealthmark.io/x402/verify-prediction-arbitrage","method":"POST","priceAtomic":"20000","priceHuman":"$0.02 USDC","description":"Prediction market arbitrage spread audit between Polymarket CTF and Kalshi for UMA oracle divergence trap immunity","inputSchema":{"type":"object","properties":{"pair_key":{"type":"string","default":"FED_DEC_RATE_CUT"},"observed_spread_pct":{"type":"number","default":2.0}},"required":["pair_key","observed_spread_pct"]},"outputSchema":{"type":"object","properties":{"is_arbitrage_safe":{"type":"boolean"},"divergence_trap_risk":{"type":"boolean"},"spread_threshold_pct":{"type":"number"},"uma_oracle_address":{"type":"string"},"message":{"type":"string"},"request_digest":{"type":"string","description":"SHA-256 of fields in this response; unsigned, not an attestation"}}}}]}