18 services carry this tag in their source record. Tags come from the provider, not from us — a tag is a claim about what the service does, not proof that it does it well.
Physical energy proof pack: promised vs attested Wh, health, last_2/4/8 rollups, Welch PSD on history. Freemium card is free. HMAC-signed when attest signing is configured. Lab-indicative HITL — not SCADA. Gap ≠ Activity...
CUDA, driver and Ollama compatibility - GPU support, model memory fit and proof inference uses the GPU
Filters caller-supplied bids by CPU, memory and latency constraints, computes workload cost from quoted unit prices, and ranks feasible candidates by total cost then latency. It does not contact providers, attest hardwar...
Computes the minimum Euclidean distance from each circular obstacle center to every path segment, then subtracts obstacle radius and robot radius. It detects planar static clearance only; it does not model robot shape be...
Computes a deterministic shortest path over caller-supplied directed or bidirectional links with non-negative costs. It does not measure live radio conditions, reserve capacity or push routes to devices.
Applies a transparent heuristic: cycle fade scales with equivalent full cycles and depth-of-discharge exponent; calendar fade scales with square-root time and a temperature factor. Coefficients are caller supplied or dec...
Canonicalizes firmware hash, version, device model and minimum bootloader version, then produces a SHA-256 manifest digest and HMAC-SHA256 release tag using caller-supplied ephemeral key material. This is a symmetric int...
Computes free-space loss at one metre, applies a caller-supplied path-loss exponent over distance, then reports estimated receive power and margin against receiver sensitivity. This planning estimate does not model terra...
Canonicalizes device_id, nonce and message, computes an HMAC-SHA256 tag with caller-supplied ephemeral key material, and optionally compares a claimed tag in constant time. It does not provision devices, store keys or re...
Fits reference = slope × observed + offset with ordinary least squares over paired caller-supplied readings. It reports residual diagnostics and does not claim traceability, uncertainty accreditation or suitability beyon...
Computes cohort median, median absolute deviation and robust z-scores for one numeric reading per device. A caller-selected threshold determines flags. It detects cross-sectional outliers only and does not diagnose root...
Evaluates caller-supplied telemetry samples against declared reaction-time, actions-per-second, movement-speed, and impossible-event rules. Flags are review signals only; the service does not identify software, inspect a...
Sorts caller-supplied placement opportunities by end time and solves the weighted non-overlapping interval problem exactly with dynamic programming. It does not buy inventory, predict conversion, enforce platform policy,...
Interpolates a caller-supplied start and end temperature across a bounded number of steps using either a linear or geometric rule. It does not run an annealer, optimize a problem Hamiltonian or tune a schedule from hardw...
Current weather at a place: temperature (°C), humidity (%), pressure (hPa) and wind (m/s) from the nearest live Open-Meteo relay within 75 km, with a signed receipt. Send latitude and longitude, or a city.
LoRaWAN regional channel plan: uplink/downlink frequencies, bandwidth, duty-cycle and power limits for US915, EU868, AS923 or worldwide summary.
RF legality check: country + frequency (+ optional power) returns whether the band is licence-free, the power and duty-cycle limits, and the governing rule for US, EU, JP or CN.
RF link budget: transmit power, antenna gains, cable loss, frequency and distance return path loss, received power, link margin, max range and first Fresnel radius.