Reference documentation

This section includes the reference documentation for the Kleene application components and the Kleene-flavored Dockerfile format.

Kleene components

Klee (client)

The Kleene CLI for building and managing images/containers.

Kleened (server)

API for interacting with Kleened, the backend daemon of Kleene.

Dockerfile

File format used in instructing Kleened on how to build an image.