model-checked · LLM tool loops

homeostat

A regulator for an LLM agent's tool loop. Keeps the loop in bounds by modeling how the loop fails.

the control loop

The homeostat control loop The guards regulate the LLM tool loop. The bench and canary sense what the loop emits. The measured behavior returns to the guards along a feedback path. The guards contain a machine-checked model, the spec. spec/ machine-checked model guards/ regulator the loop LLM tool calls bench/ · canary/ sensors contains regulates emits feedback The homeostat control loop The guards regulate the LLM tool loop. The bench and canary sense what the loop emits. The measured behavior feeds back to the guards. The guards contain a machine-checked model, the spec. spec/ machine-checked model guards/ regulator the loop LLM tool calls bench/ · canary/ sensors contains regulates emits feedback

public release coming soon

Halcyonic Systems on GitHub

Every good regulator of a system must be a model of that system.

Conant & Ashby, 1970