DE:LIGHT Overview DENSE DEMIX Services Play API HATP Attestation Compliance Pricing
DE:LIGHT · Playground

Write. Compile. Dispatch. Verify.

Browser-only. Your source compiles on an EU host, runs once, and returns the output along with a signed audit record.

Connecting…
greeter.borz
Borz · target: native · backend: ready
Run output idle
Select Compile + run to execute against the live backend.
hatp-receipt.json pending
{
  "v": "1",
  "type": "dispatch.complete",
  "receipt_id": "rcpt_3f7b9a…",
  "dispatch": { "actor": "Greeter", "msg": "Greet" },
  "ts": "2026-05-24T12:42:09.187Z",
  "sig": "ed25519:9bvk3rqx…"
}
What happens when you click run
  1. Source is POSTed as JSON to the EU-hosted compile endpoint.
  2. The compiler builds a native binary in a sandbox with strict CPU/memory caps.
  3. The CLI command runs once; stdout + duration come back.
  4. A signed audit record envelopes the run for verification.