62 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.
Validate and normalize a JSON audit-event export before reconciliation. Check up to 100 supplied metadata events for duplicate IDs, malformed timestamps and invalid digests. Returns normalized events and an integrity rec...
Get a checked rational bracket for a degree 1-8 polynomial root. Bisect a sign-changing rational bracket for at most 64 iterations; return a certified bracket or exact rational root. No arbitrary code, all-roots or uniqu...
Great-circle angles for bounded caller-supplied right ascension and declination pairs in integer microdegrees; no ephemeris lookup.
Check citation metadata before an evidence review. Compare up to 20 declared source identities, revisions and locators; return exact mismatches and an integrity receipt. No source retrieval, passage-existence check or cl...
Check a declared bandwidth and up to 16 tones against the strict Nyquist inequality, with equality reported separately. Computes folded tone frequencies exactly. Assumes uniform sampling, bandlimited input and no jitter;...
Validate exact UTF-8 SHA-256 hashes for up to 64 public or synthetic passages. No Unicode normalization, source authentication, or semantic validation.
Prepare a reproducible research handoff from supplied public or synthetic artifact contents, dependencies, algorithm version, seed and Supplied-record analysis, not independent certification. Full contract at the free de...
Compare up to 128 expected passage bindings with up to 128 retained descriptors by passage ID, parent document, version hash and chunk hash. Flags omissions, substitutions, repeats and ordering gaps. Public/synthetic met...
Compare up to 12 caller-supplied public committee-level totals and filing references at a declared assessment Supplied-record analysis, not independent certification. Full contract at the free describe URL.
Reconcile up to 80 committee-aggregate or non-personal organizational public/synthetic campaign ledger entries against declared opening and closing Supplied-record analysis, not independent certification. Full contract a...
Convert a measurement without losing declared uncertainty: one decimal value and standard uncertainty across supported length, mass, time or temperature units using exact rational scale/offset arithmetic. No unit guessin...
Check a revision handoff before reusing evidence. Compare one initial or superseding transition with its declared predecessor; return lineage inconsistencies and an integrity receipt. Does not establish authenticity, sem...
Check up to 32 JSON argument values against a closed, declared scalar tool contract: types, required fields, code-point length and exact safe-integer bounds. Rounded fractions/underflow are not integers. Returns unknown...
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 declarations, structure and payment-policy fields only...