170 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.
Verify one Ed25519 signature over up to 8,000 characters of exact UTF-8 receipt text using a supplied 32-byte public key. Returns cryptographic validity and message hash. Does not establish issuer identity, trusted time,...
Interpolate between two integer-coordinate points with exact rational arithmetic and an integrity receipt. Refuses extrapolation and repeated nodes. Does not estimate measurement error or validate the interpolation model...
Check declared publication views before release. Compare 2-8 article, registry and API views against canonical URL, content, release and source-set digests; flag stale, withdrawn or substituted views. No live fetch, rele...
Get an inspectable exact solution to a 1-8 variable rational linear system. Returns rank, pivots, particular solution and null space; distinguishes unique, inconsistent and underdetermined systems. No floating-point cond...
Review permission changes before an agent release. Compare two explicit allow-only sets by tool, action and exact resource; report additions, removals and wildcard additions. Does not resolve IAM inheritance or wildcard...
Compare two supplied JSON exports using unique string key fields. Report additions, removals and changed fields, keeping missing/null/boolean/number distinct. No database access or writes; source export completeness is n...
Find missing or stale declared evidence before a governance review. Compare up to 40 control requirements with revision- and scope-bound evidence descriptors. Does not inspect evidence contents, evaluate control effectiv...
Find missing or stale declared evidence before a governance review. Compare up to 40 control requirements with revision- and scope-bound evidence descriptors. Does not inspect evidence contents, evaluate control effectiv...
Multiply or divide two seven-component SI dimension vectors and compare with the expected output dimension. No unit conversion, formula validation, scale-factor inference or physical-model certification.
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...
Review a structured policy revision before release. Compare up to 40 caller-supplied clauses per version by stable ID, text and scope; report additions, removals and changes. Checks declared chronology, not legal effect,...
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...
Recover which address signed a message — Genesis402 / UnyKorn Operator Network
Repair bounded near-JSON into valid deterministic JSON and optionally validate a safe JSON Schema subset.
Compare two structured celestial result declarations using versioned rules. Reports mismatched conventions and missing prerequisites. No inferred settings, time/frame conversion, calculation verification or predictive va...
Resolve an exact supported Tamil divine-name spelling to source-scoped records in a pinned registry. Keeps ambiguity and name coincidence explicit. No fuzzy universal synonym search, full source text or theological certi...
Propagate declared correlated measurement uncertainty for 1-8 sensitivities using c-transpose C c. Requires exact symmetric positive-semidefinite covariance; returns exact variance and a rational square-root enclosure. F...
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;...
Solidity abi.encodePacked equivalent — Genesis402 / UnyKorn Operator Network
Future value with compounding and optional regular contributions — Genesis402 / UnyKorn Operator Network
Check up to ten declared claim-evidence relationships against a finite, versioned rule set. Reports unsupported frame transfers and missing information. Unknown combinations remain unresolved. No prose interpretation, so...
Check up to ten declared claim-evidence relationships against a finite, versioned rule set. Reports unsupported frame transfers and missing information. Unknown combinations remain unresolved. No prose interpretation, so...
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...