Fetch and validate an OpenID Connect discovery document: required fields per OIDC Discovery 1.0, issuer consistency, endpoint inventory, JWKS reachability and key count. Returns a conformance verdict per check.

Buyer-side trust probe of a paid x402 endpoint: (1) challenge health — fetch unpaid and validate the 402 structure; (2) liveness — latency and stability of the unpaid surface; (3) on-chain settlement history from public Base JSON-RPC (distinct payers, recent settle tx count); (4) sybil fan-out signal; (5) optional (settle_probe=true) signed PROBE PLAN of what would be bought. Signed verdict: trusted / caution / untrusted.

Recent ERC-20 transfers capped at 10,000 blocks and 5,000 results.

Recent Base logs capped at 10,000 blocks and 5,000 results.

Deep audit of an uploaded v2 .tine artifact, v3 object set, or TINEPACK3: re-hash every object, envelope canonicality, link rules, shallow closure, refs, event-DAG acyclicity and per-object signature verdicts.

Decode and verify a JWT: header/claims, signature verification (HS256/384/512 with a shared secret; RS/PS/ES/EdDSA against an inline JWK or a JWKS URL), alg=none rejection, and exp/nbf/iat/iss/aud checks with leeway. Deterministic; secrets and tokens are never stored.

Given original and replay artifacts: per-step digest identity, drift set, cost delta, and a re_derives | diverges | inconclusive equivalence verdict.

x402 'upto' metered-settlement fairness check: cap breach (settled>cap), over-charge / under-report vs the reported usage math (per_token/per_byte/per_second unit price), and a signed-authorization amount<=cap check. Deterministic signed verdict. $0.01.

Recent SEC EDGAR filings for a company resolved by ticker or CIK: form type, filing/report dates, accession number and primary-document URL, with optional form and since-date filters. Upstream: SEC EDGAR submissions API (public domain; SEC fair-access compliant: declared User-Agent, cached responses).

Adjudicate a closed-set claim about a run (model_is, cost_le, no_tool_host, output_digest_at_step, step counts, status, run id) to supported | contradicted | unknown with the deciding evidence path.

Recompute per-step catalog price for an artifact (model, usage dimensions, service tier, cache read/write, context thresholds), compare with recorded cost, flag overbilling variance and unpriced steps, with per-provider totals.

Get the firm quote for a swap using Allowance Holder to set allowances

Get the firm quote for a swap using Allowance Holder to set allowances

Get the firm quote for a swap using Allowance Holder to set allowances

Get the indicative price for a swap using Allowance Holder to set allowances

Live API-contract drift probe: fingerprint the live OpenAPI doc vs a pinned fingerprint. match|drifted|unreachable.

UCP conformance verifier: fetch a merchant's /.well-known/ucp manifest and verdict it against spec rules (required fields, version format, capability shape). Signed verdict.

Verify an A2A agent card before trusting or routing to it: dual-probe /.well-known/agent-card.json and agent.json, check MUST fields (name/description/url/version/capabilities), classify protocolVersion, flag the known 0.3<->1.0 silent schema breaks, verify any JWS signature over RFC 8785 JCS canonical bytes (did:web key resolution), and live-probe the advertised interface with tasks/send. Per-step verdict + remediation.

Verify an agent-to-agent subscription or session claim: signed active|expired|revoked verdict with the evidence trail.

polygon tx lookup (0x..64hex): eth_getTransactionByHash + receipt; tx_not_found is a valid $0.01 verdict.