All projects matching “verify”

Exact symbolic computation (SymPy): simplify, differentiate, integrate, solve equations/systems, limits, series, Laplace/Fourier transforms, arbitrary-precision eval. Expressions are JSON ASTs; every result is numerically verified. Paid in USDC on Base or Solana.

Verify a claim or fact check a statement against public web sources: send a question and up to 5 URLs, get cited evidence - passages that support, contradict or fail to settle it. Claim verification with a citation for every excerpt: source URL, retrieval time, content hash. Never charges when nothing is retrieved. Free to evaluate: the `sample` tool returns one real response at no cost, so you ca

Smart contract security and token risk check before you trade, approve, bridge or integrate: deterministic 0-100 risk score for any deployed contract on 20 EVM chains. Flags rug-pull levers (owner mint, blacklist, pause, adjustable fees, upgradeable proxy, ownership not renounced), SELFDESTRUCT/DELEGATECALL, verified source and aderyn static analysis. Read-only. Errors (400 bad input, 422 not a co

Verify whether a legal entity exists and is currently registered, from open primary registers: the GLEIF LEI index, US SEC EDGAR and the Australian Business Register (ABN, ACN, GST, status). Call it before naming a company in a contract, invoice or filing, or when you need an identifier (ABN, ACN, LEI, CIK) for a company you know only by name. Returns found, ambiguous, not_found or unknown, cited

LONG Events events API: global electronic-music event discovery with structured artists. Actions: discover, list, stats, catalog_stats, spotlight_candidates, get_sets, get_now_playing, get_schedule, search_artists, get_artist, get_artist_events, list_artists. Artist-action identity objects include nullable mbid and verified spotify_id; artist event payloads include the resolved closest-to-purchase

Is this token a scam? Token due diligence in ONE call ({"address":"0x...","symbol":"SYM"}): on-chain security verdict (honeypot + rug pull signals) fused with a web scam/rug/honeypot mention search, returned as one verdict with sources. For pre-swap due diligence by DeFi agents. Web results are third-party claims — verify before acting.

OpenAI IPO data as JSON: confidential S-1 filing status and announcement date, reported 2027 listing expectations, Sam Altman ruling out a 2026 IPO, latest verified private funding round committed capital and post-money valuation, banks reported working on filing preparation (not confirmed underwriting mandates), and dated timeline. Each factual item has a source reference and verification grade;

Notarize an AI agent decision, audit record, or any payload to Base mainnet. Submit SHA-256 hash + metadata; get a tamper-proof verifiable receipt immediately. Merkle proof and on-chain anchor_tx available free after batch (~120s). Use Idempotency-Key to prevent double-charges on retry.

Pre-pay Check: Ed25519-signed, deterministic facts about another x402 endpoint before you pay it: challenge validity, reachability and latency, host listing count, payout wallet reuse across hosts, last-called and payer trend from daily Bazaar snapshots. Use it when choosing between paid endpoints. Signed facts you can verify against the published key, not ratings; facts only, no advice. Query: ?u

Complete structured package for one illustrated classic of early science/engineering (1588-1748): verified public-domain scan, full metadata, curated description, full-text OCR link, IIIF manifest, and page-image URL template. Works: Ramelli machines 1588, Agricola De re metallica 1621, Hooke Micrographia 1665, Newton Principia 1687 & Opticks 1730, Euler Introductio 1748. Param: ?id=<work_id>

Verify an x402 purchase before an AI agent signs. Validate the live HTTP 402 challenge, Base network, USDC asset, quoted price, recipient, price ceiling, buyer funding, optional gas reserve, and destination hazards, then receive a machine-readable safe-to-sign, fund, review, or reject decision. No account or API key.

Verify payment connectivity with USDC on Base. Returns a JSON pong and UTC timestamp after settlement.

Use when an agent has an email address from a form, a scrape or a CRM and must decide whether it is worth sending to. Screens the address: syntax, DNS mail exchanger, disposable domain, role account, free provider and common typos. It does not verify that the mailbox exists. A DNS failure answers 503 and is not charged.

Takes a kind 9735 receipt directly or fetches it from relays by event id, then runs eight named checks and reports each one separately with its reason. The receipt signature and the signature of the zap request enclosed in the description tag are verified per BIP-340. The invoice is decoded and its amount is compared against the amount tag of the zap request, since those two can disagree and only

Launch provenance check for LONG.xyz / Doppler tokens on Robinhood Chain — one call verifies a token against the on-chain Doppler Airlock registry: registered launch or not, which stock token backs it (and whether that numeraire is an official Robinhood stock token), launching integrator (LONG primary vs other launchpads vs suffix imitators), factory creator match, 1e18 vanity suffix, governance b

Deep verify. Use when a claim is high-stakes, or when Check answer or Extract claims marks it unsure (next_step). Checks it against Wikipedia, Wikidata, Google News, Europe PMC studies, FRED economic data and SEC EDGAR filings, and flags contradiction when sources disagree. Async: returns a job_id; poll GET /v1/jobs/{id} free for verdict, evidence for and against, citations. $0.75 USDC.

KYB / KYC verification of a Japanese company: reconcile a company name (+ optional address) against the official JP corporate registry (名寄せ). Returns ranked candidate 法人番号 with a 0-1 confidence score, handling 株式会社 / (株) / ㈱ spelling variation and matching Japanese or English names. A dissolved corporation is never reported as `verified` even on an exact name match. Use it to confirm a vendor, cus

Check an exact npm or PyPI package version immediately before installation using current registry, vulnerability, malicious-package, withdrawal/deprecation, and verified provenance evidence. Returns ALLOW, REVIEW, BLOCK, or UNKNOWN with machine-readable reasons.

Check whether an approved Base token swap is eligible before supplying a wallet. Returns verified token contracts, indicative output, liquidity sources, fee estimate, warnings, and the exact next action. No custody, signing, or execution.

Agent intents: verify signup email · is disposable? · check DMARC before outreach · role-account risk. One call returns syntax, MX, SPF, DKIM, DMARC, disposable, role, provider, score 0-100, light domain enrichment, and recommend accept|challenge|reject with reasons. Production 0.10 USDC; demo free rate-limited. x402 on Base for AI agents.

US sales tax — add or remove tax using the verified 2026 STATE base rate for any state + DC, plus an optional local rate. Flags gross-receipts states (HI/NM) and local-only states (AK).

Smart-contract inspection for any Base token address: which functions exist (mint, pause, blacklist, owner-only), proxy type and admin, verified source, creation block, DEX pool reserves in USD, holder count. Raw facts with sources and timestamps. Information, not investment advice.

The complete daily observation history of third-party x402 endpoints since first observation, with the Merkle root of each day. Each root is chained to the previous day and timestamped into Bitcoin via OpenTimestamps, so the archive can be verified as having existed on the stated dates rather than assembled later. The most recent 7 days are free at /v1/datasets/day/{day}; the manifest and verifica

Verify an on-chain payment without trusting any RPC: did this tx transfer at least this amount of a token (default USDC) to this payee, optionally from this payer? Proven by Plumb (Base via proof-backed L1 checkpoints, Ethereum via a light client, XRP Ledger via a quorum of Ripple's validator…

Trust check for any x402 pay-per-call API URL. Live-probes the target: verifies a valid 402 payment challenge, consistency between the challenge and the /.well-known/x402 manifest, payTo address validity, price sanity, Bazaar listing status, and TLS basics. Returns a GO / CAUTION / STOP verdict with reasons.

Payment receipt and settlement proof for x402 and agent payments, by Liquid Logic X. Input: a Base USDC tx hash (optional memo). Output: JSON proof recorded onchain on Arc mainnet (proofId, from/to/amount, Arc tx, refId) plus a public verify link anyone can check. $0.02 USDC on Base, charged only when a proof is returned. Your paying wallet must be the tx sender or recipient. Liquid Logic X also r

SCDO x402: on-chain social attestation (tag + track). Unlocks content hash, public verify URL, and a watchlist track entry for the KOL/thread.

Checks whether a signature was made by a claimed EVM address: EIP-191 personal_sign messages, EIP-712 typed data or a raw 32-byte digest, verified by ecrecover for wallets or ERC-1271 isValidSignature for smart-contract wallets (Safe, Coinbase Smart Wallet) on Ethereum, Base, Arbitrum, Optimism or Polygon. Returns validity, method, recovered signer and digest. Free sample: https://onchain-health.m

Settlement canary: returns a timestamped pong JSON after USDC micropayment. Use to verify x402 client + wallet + facilitator end-to-end.

Writes and runs Python to compute or verify an answer, returning the code, its output, and a final answer.