Tell us what you would want checked.
We are collecting interest in bounded computational claim checks. Execution, introductory checks and free slots are not open. An inquiry does not reserve work, create a quote or authorize a run.
Start with public information only.
Identify a public paper or source, its exact version and one claim with a falsifying or boundary case. Tell us which code, data and methods are available, which rights permit inspection and execution, and what is still missing. Mark each method or input as supplied by the source, supplied by you, proposed for checker inference, or missing. We will reply about scope and eligibility before asking for any private material.
Do not email unpublished source, private datasets, credentials or personal records. If a claim needs restricted material, describe the access limits first so we can determine whether an authorized private path is possible.
Email to this address is forwarded to the operator's Edukado Inc. inbox. The sender address and public outline may be kept there to assess the inquiry and reply; no fixed deletion deadline is established. See the privacy notice and contact us about your information.
What a future check could establish
An accepted check would use an exact source version, a frozen plan and stated inputs. Its evidence would report the bounded predicate checked and incomplete or negative outcomes as they occur. Scientific outcome, operator independence, review, public visibility, DOI registration, preservation and journal publication are separate decisions. No archive download or inquiry is a verification result.
The original starter catalog shows candidate source packages; each is unrun in this release. Check live platform status before assuming any capability is available.