Deterministic four-neighbor BFS on a grid of at most 24×24 cells. Returns a shortest obstacle-free route or an explicit unreachable/step-limit result. Toy discrete geome…
Compare up to 64 proposed Base-USDC calls with a declared total budget, per-call cap, allowed payees and human-approval requirement. Returns policy mismatches and exact…
Verify a bounded civic-ledger-1 public organizational decision suffix against declared checkpoints, including expected-head truncation detection. No Merkle proof or anch…
Check up to 80 declared floor areas and assignable ratios, returning exact assignable/support-area totals. Uses one declared area unit and basis-point ratios. No geometr…
Compare up to 80 expected and 80 observed document descriptors against one declared tenant and scope. Flags missing, unexpected and cross-tenant documents; incomplete sc…
Compare source coverage on exactly the same declared record cohort across two snapshots. Report per-record gained/lost sources, per-source count changes, and global cove…
Compare up to 64 total extracted spans from at most 16 labeled tools against exact code-point slices of supplied source text and declared UTF-8 hashes. Group identical s…
Compute binary Brier score and count-weighted ECE for up to 256 declared held-out score/outcome pairs. Supports probability or percent scores, normalized to probabilitie…
Check one structured public or synthetic low-stakes experiment plan for timing, comparator, outcome and analysis declarations. Returns deficiencies and an integrity rece…
Exact rational expected-yield and cost arithmetic for up to 16 scenarios and 12 sequential conditional reject rates. All batch units incur unit cost; rejected units incu…
Classify up to 100 declared measurement intervals against tolerances as pass, fail or hold. Integer millimetres; uncertainty is an absolute interval half-width, not a co…
Inspect one supplied x402-v2 exact-payment challenge against an explicit expected HTTPS resource, EVM CAIP-2 network, asset, payee and maximum price. Checks both URL dec…
Check a declared bandwidth and up to 16 tones against the strict Nyquist inequality, with equality reported separately. Computes folded tone frequencies exactly. Assumes…
Build an astronomy or astrology tool with seven classical-body geocentric longitudes at one UTC instant, Tropical and versioned Lahiri Sidereal frames, conventions and a…
Choose a context budget before an agent run. Compare five extractive compilation budgets with token estimates and source coverage. Price basis: five compiler runs, the c…
Get an inspectable exact solution to a 1-8 variable rational linear system. Returns rank, pivots, particular solution and null space; distinguishes unique, inconsistent…
Great-circle angles for bounded caller-supplied right ascension and declination pairs in integer microdegrees; no ephemeris lookup.
Deep token due diligence for analysts and trading agents: aggregates CoinGecko market data, DeFiLlama DeFi metrics, Etherscan contract verification, and Polymarket predi…
Admin activity monitor for contract owners and security teams: flags ownership transfers, implementation upgrades, and pause-state changes in a contract's recent history…
ERC-20 approval risk scanner for wallets: flags unlimited allowances and unverified spender contracts before an agent authorizes a new one. Category: data.
Historical backtests of the match forecasts. Informational research output with no selection, ranking, or recommendation of wagers.
KYC screening / identity risk check in one call: a name screened against OFAC, UK and EU sanctions; an email's mailbox, disposable and role checks; a phone's validity, c…
Phone number validation and lookup: valid or not, country and area, the carrier the range was issued to, line type (mobile, landline, toll-free, VoIP, premium), time zon…
IP geolocation / IP address lookup: city, region, country and coordinates, the network's ASN and organisation, reverse DNS, and whether the address is public, private or…
