Every claim on this page is checkable. 

theLabs is an applied-AI lab that ships working software, not slideware. So this page is not a pitch. It is the working: three products, three derivations, one admission at a time.


Scroll to verifySkip the film
Chapter 01The arithmeticKayon

Claim under test · the local-LLM default

“It fits — the file is smaller than your VRAM.”

Kayon refuses that arithmetic. It adds up what actually occupies the card, for your GPU, at your context length, and lets you expand any verdict to see the working.

And where the arithmetic cannot be done honestly (SSM, linear, hybrid attention), Kayon returns a refusal instead of inventing a number:

UNVERIFIED_ARCH

Worked example · 8B model · Q4_K_M · 8 GB card · 8k context

  • model weights4.92 GB
  • +KV cache · 8k, f161.07 GB
  • +compute buffers0.83 GB
  • +display headroom0.60 GB
model weightsKV cache · 8k, f16compute buffersdisplay headroom
Σ = 7.42 GB · of 7.62 GB actually freeFITS_TIGHT

See Kayon run this on your own card

Chapter 02The handoffCempala

Claim under test · what Cempala promises

“Ask one agent for something and it pulls in another. Same machine, no second window, no copy-paste, no cloud service in the middle.”

Worked example · an illustrative delegated request, not a captured transcript

claude — Claude Code
> Ask Codex to add tests for parser.ts, then run them.
dispatch → codex · waiting…
12 tests passing · returned in the same turn
codex — Codex CLI
task claimed · cwd ~/project
writing parser.test.ts · bun test
done · exit 0 · 38s
The part other tools would round up: every handoff reports the guarantee that actually applied. Codex runs OS-sandboxed. Claude’s web tools are removed, but its shell could still reach the network, so Cempala says tools_only. Antigravity exposes no network switch at all, so it says not_enforceable rather than borrow a word it cannot back.REPORTED, NOT PROMISED

See Cempala's own audit log

Chapter 03The poolDalang

Claim under test · what Dalang claims to be

“A coordinated pool of models, delivered as one model. Point your existing SDK at it and keep your code.”

model: "semar"
POST /v1/chat/completions · {"model":"semar"} 200
POST /v1/messages · {"model":"semar"} 200
The admissions are part of the product: answers land in ~15–90 seconds, an answer engine rather than a chat model. Routing is opaque by design. The eval harness that measures it was built before the gateway, and baselines re-run inside it. Invitation-only.MEASURED, NOT IMPORTED

Read the Dalang eval harness

Chapter 04The conclusionthe labs

That was the working. Now check it. 


Run the proof yourself

Two you can run in five minutes. One you ask for. One we're still building.

Ordered by what you can do right now, not by what we are proudest of.

Available now

Kayon

An honest local-LLM workstation.

Every quant of every model gets a verdict computed for your GPU at your context length, and you can expand any one of them to see the arithmetic it came from.

  • Windows 10/11 x64 · NVIDIA optional
  • Adopts Ollama models by hard link, zero bytes moved
  • llama.cpp ships inside the installer
  • No account, no cloud, MIT licensed

Not yet code-signed, so SmartScreen will warn. Code signing is on the roadmap.

One-line install

Cempala

One agent asks. The other just does it.

A local MCP server that lets Claude Code, Codex CLI, Antigravity and OpenCode hand work to each other in a single turn, instead of you carrying output between windows.

  • macOS, Linux and Windows — every binary the installer picks is run-verified, not just compiled
  • Claude Code, Codex CLI, Antigravity and OpenCode, in any direction
  • Home directory as the trust boundary, by default
  • One append-only audit log
curl -fsSL https://raw.githubusercontent.com/thelabs-id/cempala/main/scripts/install.sh | bash

macOS / Linux. The Windows one-liner is on the product page. Learn more

Invitation only

Dalang

A multi-agent system delivered as one model.

Point an existing OpenAI or Anthropic SDK at one endpoint and keep your code. Behind the single model string semar, a coordinated pool answers as one voice.

  • Both the OpenAI and Anthropic wire protocols
  • One model string: semar
  • One blended rate on visible tokens
  • A fixed-quality answer engine: 15–90s, not sub-second

Pricing is published at general availability, not before.

In design

Simpingan

An agent workspace where nothing leaves unseen.

Every agent-proposed change is a typed diff you approve or reject before it applies. Nothing here is built yet — this is the requirements document, not a product.

  • Windows, macOS, Linux (Tauri desktop app)
  • Register, Inspect, History: the three surfaces
  • Closed application, open and verifiable history format
  • No account, no cloud, ever

Nothing to install yet. The page describes what we're building against.

The discipline

Five rules this site is built under. They bind the products too: the same honesty, enforced in code.

  1. Every claim is checkable.

    If you cannot run it, read it, or measure it, it does not go on the page. The film above is made of the products’ own vocabulary: verdicts, enforcement states, wire paths. Not invented figures.

  2. The limitation is stated next to the capability.

    Windows-only. Not a sandbox. Not SWE-bench. Invitation-only. The admissions are the credibility, not a tax on it.

  3. What you can do now is never flattened.

    Two products install in the next five minutes; one you request. The difference is the single most useful thing a visitor can learn here, so it is kept sharp.

  4. Speed is the argument.

    A lab claiming “all the magic, none of the mystery” cannot ship a slow, heavy site without contradicting itself. The film is code, not video. Nothing on this page waits for a download.

  5. No invented proof.

    No fabricated benchmarks, customers, testimonials, or logos. Where a number is an example, it says so on screen.

A lab that ships its evidence.

theLabs is an applied-AI lab in Indonesia. Research, engineering, design, and support under one roof.

The tools were built to prove themselves: Kayon’s arithmetic is visible, Cempala’s audit log is append-only, and Dalang’s benchmark harness was written before the thing it measures. The site holds itself to the same rule. No invented customers, no imported numbers, nothing you have to take on faith.

About the lab
Based in
Indonesia
Shipped products
Three
In design
Simpingan
Open source
Kayon (MIT) · Cempala

Start with the one you can run today.

Kayon and Cempala are free, local, and need no account. Dalang is invitation-only: tell us what you are building and we will talk.