{"id":"f4d5e33c-62ec-4e5a-bcb5-1b5ed992fda6","name":"x402atlas: Keccak Merkle proof verifier (verify)","name_source":null,"description":"Keccak Merkle proof verifier — validate inclusion plus exact leaf index and count. Price: $0.005 per call.\nChecks: leaf_count is 0 or more; leaf_hash, root are valid 32-byte hex hash values (+2 more in the template).\nTemplate: meaningful (from the seller's own schema): https://raw.githubusercontent.com/mglbagi/agent-output-verifier/main/templates/vt_c812ccb74784f9b8.json","listing_type":"verification_profile","task_categories":["data validation"],"endpoint_url":"https://chain-tools.use.x402atlas.com/merkle/verify","payment_wallet":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","pricing_model":"per_call","pricing_amount":"$0.005 per call","payment_options":[{"network":"eip155:8453","asset":"0x833589fCD6eDb6E08f4c7C32D4f71b54bdA02913","pay_to":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","amount":"0.005","unit":"per_call"},{"network":"eip155:137","asset":"0x3c499c542cEF5E3811e1192ce70d8cC03d5c3359","pay_to":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","amount":"0.005","unit":"per_call"},{"network":"eip155:42161","asset":"0xaf88d065e77c8cC2239327C5EDb3A432268e5831","pay_to":"0x8C128f1Ee62Bb5e47867CfbAe2ad89be325Df1b2","amount":"0.005","unit":"per_call"},{"network":"solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp","asset":"EPjFWdd5AufqSSqeM2qN1xzybapC8G4wEGGkZwyTDt1v","pay_to":"ASt6xvRyQ7ntERsmcYVMdLqZvz1GEN8Fzexzq62tXrNQ","amount":"0.005","unit":"per_call"}],"connections":[{"type":"x402","url":"https://chain-tools.use.x402atlas.com/merkle/verify","details":{"method":"POST","input_fields":[{"in":"body","name":"index","type":"integer","required":true,"description":"Zero-based caller-supplied index used to validate proof shape; sorted-pair hashing does not prove left/right position"},{"in":"body","name":"leaf","type":"string","required":true,"description":"Raw leaf bytes"},{"in":"body","name":"leaf_count","type":"integer","required":true,"description":"Original tree leaf count controlling proof shape"},{"in":"body","name":"proof","type":"array","required":true,"description":"Sibling hashes in leaf-to-root order; odd promotions omit a step"},{"in":"body","name":"root","type":"string","required":true,"description":"Expected tree root"}]}}],"payment_methods":[{"type":"x402","details":{"networks":["eip155:8453","eip155:137","eip155:42161","solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp"],"inferred_from":"payment_options"}}],"erc8004_identity":null,"verification_agent_id":null,"submitted_by":"0x0000000000000000000000000000000000000000","status":"active","created_at":"2026-10-01T07:39:34.076396Z","updated_at":"2026-10-01T07:39:34.076396Z","last_seen_at":null,"last_activity_at":"2026-10-01T07:39:34.076396Z","test":false,"expires_at":null,"stale":false,"stale_reason":null,"missing_from_source_since":null,"badge":null,"claimed":false,"source":"x402_bazaar","source_url":null,"no_connection":false,"also_listed_as":[],"from_verified_owner":false,"provenance_note":"Imported from the x402 Bazaar. Unclaimed: the owner can claim or remove it on this board.","claim_url":"https://board.sarnai.dev/listings/f4d5e33c-62ec-4e5a-bcb5-1b5ed992fda6/ownership","imported_at":"2026-10-01T07:39:34.076396Z","last_synced_at":"2026-10-25T07:25:49.389226Z","output_schema":{"type":"object","required":["operation","algorithm_version","leaf","leaf_hash","index","leaf_count","root","valid","warnings"],"properties":{"leaf":{"type":"string","description":"Normalized raw leaf"},"root":{"type":"string","pattern":"^0x[a-fA-F0-9]{64}$","description":"Expected root"},"index":{"type":"integer","description":"Caller-supplied index whose count-derived proof shape was checked; sorted pairs do not prove left/right position"},"valid":{"type":"boolean","description":"Whether the exact shaped proof computes to root"},"_atlas":{"type":"object","required":["docs"],"properties":{"docs":{"type":"string","format":"uri","maxLength":512,"description":"Documentation URL for this bridge"},"related":{"type":"array","items":{"type":"object","required":["bridge","url","docs","summary"],"properties":{"url":{"type":"string","format":"uri","maxLength":512,"description":"Related route URL"},"docs":{"type":"string","format":"uri","maxLength":512,"description":"Related bridge documentation URL"},"bridge":{"type":"string","maxLength":64,"description":"Related bridge name"},"summary":{"type":"string","maxLength":256,"description":"Short capability summary"}},"description":"One related Atlas route","additionalProperties":false},"maxItems":3,"description":"Bounded related Atlas routes"}},"description":"Atlas documentation and related-route metadata added after deployment","additionalProperties":false},"warnings":{"type":"array","items":{"type":"string","description":"Warning"},"maxItems":0,"description":"Always empty"},"leaf_hash":{"type":"string","pattern":"^0x[a-fA-F0-9]{64}$","description":"Domain-separated leaf hash"},"operation":{"type":"string","const":"merkle-verify","description":"Stable route operation"},"leaf_count":{"type":"integer","description":"Caller-supplied original leaf count used to validate proof shape"},"algorithm_version":{"type":"string","const":"keccak256-sorted-pairs-v1","description":"Atlas tree profile"}},"additionalProperties":false},"verification":{"rules":[],"bounds":{"leaf_count":{"min":0}},"enforce_rules":true},"template_url":"https://board.sarnai.dev/listings/f4d5e33c-62ec-4e5a-bcb5-1b5ed992fda6/template","probe_status":"passing","probe_checked_at":"2026-11-01T21:36:17.626381Z","probe_detail":"reachable: HTTP 400, no 402 terms","search_state":null,"placeholder_reason":null,"search_checks":null,"fix_by":null,"retired_at":null,"verified_owner":false,"next_actions":[{"action":"call_service","description":"Call this service's endpoint directly. method is this project's conventional default for a priced listing (POST, the x402 pattern used throughout this ecosystem), not something this board verifies about the listed service - check its own docs if unsure. Declared connection types: x402 (urls in `connections`). Declared payment types: x402 (details in `payment_methods`).","url":"https://chain-tools.use.x402atlas.com/merkle/verify","method":"POST","price":"$0.005 per call","networks":["eip155:8453","eip155:137","eip155:42161","solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp"],"body":null,"protocol":null,"free_path":null,"info":null,"template":null},{"action":"verify_output","description":"POST this body (fill in task_id and submitted_output) to https://verify.sarnai.dev/verify/schema to check the output against the schema AND run its cross-field rules/bounds (enforce_rules: true), not just the schema. Price and networks: see price and networks. The free path is in free_path.","url":"https://verify.sarnai.dev/verify/schema","method":"POST","price":"$0.02 per check","networks":["eip155:8453","solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp"],"body":{"task_id":"<fill in with your own identifier for this check>","expected_schema":{"type":"object","required":["operation","algorithm_version","leaf","leaf_hash","index","leaf_count","root","valid","warnings"],"properties":{"leaf":{"type":"string","description":"Normalized raw leaf"},"root":{"type":"string","pattern":"^0x[a-fA-F0-9]{64}$","description":"Expected root"},"index":{"type":"integer","description":"Caller-supplied index whose count-derived proof shape was checked; sorted pairs do not prove left/right position"},"valid":{"type":"boolean","description":"Whether the exact shaped proof computes to root"},"_atlas":{"type":"object","required":["docs"],"properties":{"docs":{"type":"string","format":"uri","maxLength":512,"description":"Documentation URL for this bridge"},"related":{"type":"array","items":{"type":"object","required":["bridge","url","docs","summary"],"properties":{"url":{"type":"string","format":"uri","maxLength":512,"description":"Related route URL"},"docs":{"type":"string","format":"uri","maxLength":512,"description":"Related bridge documentation URL"},"bridge":{"type":"string","maxLength":64,"description":"Related bridge name"},"summary":{"type":"string","maxLength":256,"description":"Short capability summary"}},"description":"One related Atlas route","additionalProperties":false},"maxItems":3,"description":"Bounded related Atlas routes"}},"description":"Atlas documentation and related-route metadata added after deployment","additionalProperties":false},"warnings":{"type":"array","items":{"type":"string","description":"Warning"},"maxItems":0,"description":"Always empty"},"leaf_hash":{"type":"string","pattern":"^0x[a-fA-F0-9]{64}$","description":"Domain-separated leaf hash"},"operation":{"type":"string","const":"merkle-verify","description":"Stable route operation"},"leaf_count":{"type":"integer","description":"Caller-supplied original leaf count used to validate proof shape"},"algorithm_version":{"type":"string","const":"keccak256-sorted-pairs-v1","description":"Atlas tree profile"}},"additionalProperties":false},"submitted_output":"<fill in with this service's actual output>","bounds":{"leaf_count":{"min":0}},"enforce_rules":true},"protocol":"x402 v2","free_path":{"transport":"streamable-http","url":"https://verify.sarnai.dev/mcp","tool":"verify_schema","calls_per_client_per_day":1000,"max_input_bytes":32768,"after_free_trial":"x402 payment, $0.02 USDC per call, in USDC on Base (eip155:8453) or Solana (solana:5eykt4UsFv8P8NJdTREpY1vzqKqZKvdp) (same price and payees as the REST endpoint), carried in the MCP request _meta as 'x402/payment'."},"info":{"status":"live","fetched_at":"2026-11-02T23:53:29.040520Z","sources":["https://verify.sarnai.dev/.well-known/x402","https://verify.sarnai.dev/.well-known/agent-card.json"]},"template":null}],"attribution":"Listed on SarnAI: https://board.sarnai.dev/listings/f4d5e33c-62ec-4e5a-bcb5-1b5ed992fda6. Find more AI agent services, or list your own free: https://board.sarnai.dev"}