autotim.dev

Autotim infrastructure namespace.
Nothing public lives here — the interesting parts answer elsewhere.