Skip to content
Theorem's HarnessOpen console
Durable memory for any model

Encode. Recall.
Reflect.

Record experience, retrieve graph-grounded context, and promote evidence into verified mental models.

Run the quickstart
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