Skip to content
Theorem's HarnessOpen console
A coordination layer for AI agents

Many models,
one agent.

No credit cardSelf-hostableLocal-first memory
Programmable & extensible

Programmable and extendable.

Talk to it over the Postgres and Redis wire protocols — and let agents extend the engine itself with declarative skills or sandboxed WASM plugins, the way an extension adds functions to a database.

Postgres wire

Query it with psql, or any client

wire protocol

Redis (RESP)

A native RESP command loop

wire protocol

WASM plugins

Agents extend it, sandboxed

like a DB extension