CodeTonight
Software & AI · since the small hours

We build AI systems that can prove what they did.

CodeTonight is a product company. We build the AI substrate — and the provable products that run on top of it: tamper-evident legal AI, and finance records you can verify yourself.

Most AI gives you an answer and asks you to trust it. Ours signs its work, so anyone can check it later — independently, offline, without taking our word for it.


The substrate

The engine room nobody sees

Before a product can prove anything, something underneath has to do the reasoning, route the models, and keep the rules. That layer is ours — three pieces that work together.

// orchestration

GRIP

the autonomous harness

An AI workhorse built on Claude Code. It plans, writes, tests, and reviews its own work in loops — and keeps going while you sleep, with mechanical safety rails it cannot talk its way around.

Plain version: a tireless senior engineer that checks its own homework and never forgets what it learned yesterday.

// routing

HAL

the multi-provider router

One doorway to every AI model — Claude, local on-device models, and others — behind a single interface. It handles rate limits, budgets, and failover, so the work never stops because one provider hiccuped.

Plain version: a universal adapter for AI. Swap the model behind it and nothing upstream has to change.

// protocol

HAPPI

the shared language

An open protocol spec that lets different AI systems pass reasoning state to each other in a format they all understand — the wiring that makes the rest interoperable instead of locked in.

Plain version: a common file format so two AI systems can actually hand work back and forth.


The products

Provable by construction

Two products built on the substrate, in domains where "just trust me" is not good enough — the law, and money.

Legal AI · live

DONNA

tamper-evident legal AI

DONNA reads legal documents, produces an opinion and the clarifying questions a good associate would ask — and signs every step into a tamper-evident chain. If anyone alters the record later, the signatures break and the change shows.

TL;DR — a legal assistant that keeps the receipts, cryptographically.

  • Ingests PDFs and builds an evidence chain
  • Signs records with Ed25519 + ML-DSA signatures
  • Outputs opinions plus the questions worth asking
  • Tamper-evident by design — not "trust the vendor"
View the live knowledge portal →
recordopinion · matter-x
ingested3 documents
signatureEd25519 + ML-DSA
hashd41f…7c08
prev9a02…11be
∎ verify → tamper-evident
Falsifiable Finance

Falsifiable Finance

finance records anyone can verify

Financial records, signed and hashed into a chain you can replay and check independently — on a public testnet today. The point isn't to ask you to believe the numbers; it's to let you falsify them if they're wrong.

TL;DR — "don't trust, verify" applied to a ledger.

  • Signed records with cryptographic hashing
  • Replay-auditable — re-check the full history
  • Anchored on a public blockchain testnet
  • Offline-verifiable: check it without us

Testnet today — a working proof, not yet a production mainnet deployment.

recordentry · 0142
networktestnet
hashkeccak b7c1…9f2a
prev2f88…ab10
replay142 / 142 ok
∎ verify → reproducible
GRIP Meet

GRIP Meet

meetings that capture themselves

Real-time meeting capture, transcription, and automatic summaries — the same substrate, pointed at the conversations where decisions actually get made, so nothing important falls through the cracks.

TL;DR — the notes write themselves, the actions don't get lost.

  • Live capture and transcription
  • Automatic, structured summaries
  • Built on the same GRIP + HAL substrate
sessionstandup
speakers4
summaryready
actions3 captured
∎ nothing dropped

How the proof works

From "trust me" to "check it yourself"

The same four-step shape underpins every provable product we ship. No magic — just cryptography applied where it actually matters.

Do the work

The AI reasons over your documents or data and produces a real result.

Sign each step

Every step is signed and hashed into a chain, linked to the one before it.

Anchor it

The chain is anchored so a later edit can't quietly rewrite history.

Verify, independently

Anyone can re-check the signatures offline. If it was tampered with, it shows.


Who builds this

A small team that ships

CodeTonight (Pty) Ltd is a South African software and AI company. Two decades of shipping for others — now building our own.

Portrait of Laurie Scheepers

Laurie Scheepers

Founder & Technical Director

Architects the substrate and the provability stack — GRIP, HAL, DONNA, and Falsifiable Finance.

Portrait of Mia Roos

Mia Roos

Executive Director: Business

Leads strategy, partnerships, and the business side of bringing provable AI to market.

Two decades of shipping · selected work

Talk to us

Tell us what you're trying to prove.

Whether you want provable AI for your own domain, a product trial, or just a straight conversation about what's real and what isn't — we read every message.

development@codetonight.co.za

We'll reply from development@codetonight.co.za.