scorecompute
SCORECOMPUTE / VERIFY

A claim.
A calculation.
A receipt.

Check what can be calculated. Keep the assumptions. Take the evidence with you.

Check a claim Use it from your AI
CALCULATION RECEIPTTrust the
boundary.
ModelExplicitResultInspectableSignatureVerifiable
Illustration · no result yet
01 / STATE THE CLAIM

Does the arithmetic add up?

Choose a domain and edit the example. No calculation starts automatically.

Decimal arithmetic is checked exactly where the rational engine supports it. The complete request below also accepts named values and tolerances.

Complete claim and parameters (JSON)

Expressions and declared tolerances only. No units, financial interpretation or factual meaning is inferred.

03 / KEEP IT VERIFIABLE

Signed bytes.
Visible limits.

The Ed25519 signature attests that ScoreCompute issued this exact calculation receipt. It does not establish that the supplied observations are true, verify the claimant’s identity or certify the science independently.

Receipts are generated on demand. We do not retain your receipt, calculation arguments or result. Download yours if you want to keep it.

Checked locally using the service’s separately published key. The file is not uploaded. Browser Ed25519 support is required.

Public verification keys · Evidence and limits · Service status

The same check, from your assistant.

{
  "name": "verify_claim",
  "arguments": {
    "domain": "numbers",
    "parameters": {
      "expression": "0.1 + 0.2",
      "claimed_value": 0.3
    }
  }
}

Each underlying engine also remains independently callable.

Connect to ScoreCompute