Emit a spec-native tine-attest/1 attestation object over a run oid (target_id, claim, evidence_ids, ed25519 signature) and return its stored bytes, oid and fsck-clean self-check.

Post-action side-effect verification: re-read claimed real-world state (HTTP JSON fields, status code) and compare to expected.

Third-party verify of a run receipt: recompute input/output/artifact hashes from supplied material, check the Ed25519 signature against the published JWKS (or an inline jwks for offline verify), and return a verdict.

Build a standardized, signed run receipt for an agent tool call from a .tine artifact or a raw run record: flat 8-field receipt (mcp_server_id, tool_name, input_hash, output_hash, allowed_scopes, side_effect_class, denial_reason, replay_link) plus a payment/artifact binding block. Ed25519-signed.

Pre-share audit of an artifact: credential-shape scan of step/metadata bytes, detection of the v2 step-id pre-redaction gap, secret-named field coverage, and a safe_to_share verdict with an explicit checked/not-checked scope.

Deterministic claim-vs-source verification (CVE real? package vulnerable/exists? domain resolves? TLS cert valid? URL reachable?) against authoritative sources. Boolean verdict + evidence, no LLM.

Live OpenAI-compatible paid model-router completion endpoint for AI agents. Supports conversation, analysis, code/help prompts, DDG routing extensions, payment gating, budget caps, and receipts. Eligible launch model prices target 75% of comparable official API list pricing; no provider-key/account exposure.

Fetch and lint a /.well-known/http-message-signatures-directory: JWK shape (OKP/Ed25519), self-signature presence, key freshness, and pinned-agent consistency. Per-step pass/fail report.

Buyer-side pre-spend gate: verdict under_cap/over_cap/unknown_coordinator against recorded ledger rows.

Signed reserve digest for USDC, USDT, EURC and DAI: latest reserve figures, attestation timestamps and a per-issuer staleness verdict.

Static conformance lint of an x402 v2 402 challenge and/or a signed paymentPayload: version, resource URL/description cliff, accepts scheme/network/asset/atomic-amount/timeout/payTo, EIP-712 token metadata, bazaar extension shape, PAYMENT-REQUIRED header decodability, header-version mismatch, and payload authorization/nonce/expiry. Returns a signed conformant verdict with an exact remediation per failure. No network fetch.

Diagnose a seller's x402 (bazaar) paid endpoint: fetch it unpaid and require a 402 challenge, then validate x402Version, accepts[], resource URL, description length, amount/asset/network, the bazaar extension, the EIP-712 domain and (optionally) payTo. Returns a per-blocker pass/fail list, an overall verdict and exact remediation text. Signed verdict.

Timeout-outcome resolution: idempotency-keyed verdict replay without re-execution.

x402 duplicate-grant guard: derive the canonical idempotency key from (payment_nonce, resource), analyze supplied settlement txs, and return a verdict + recommended action (stateless key derivation, or stateful allow/reject/replay-cache against supplied seen_keys). Cites duplicate-grant Attack II (arXiv:2605.11781). Ed25519-signed.

Verify a Web Bot Auth (RFC 9421 + draft-meunier-webbotauth-httpsig-protocol) request signature: structured-field dictionary form, supported components/params, keyid resolution against the Signature-Agent key directory (or an inline public_key_jwk), the (URL, key) pairing rule, created/expires/nonce policy, and Ed25519 crypto verification. Pure verification, per-step report.

Normalize a batch of cross-protocol payment proofs into a per-sub-agent payroll ledger with anomaly alerts.

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.

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).

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.

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