Salix

Loops

Loop 讓 AI 代理全天候在背景工作:盯著收件匣、儲存庫或資訊來源,並在有變化時採取行動。Loop 不需要始終開著的沙箱,除非必要,也不會喚醒 AI 代理的主迴圈。

Loop 如何執行

  1. AI 代理用 C 語言把 Loop 寫成一個程式。
  2. Salix 的伺服器端 eBPF 執行環境 Spinfoam 把這個程式編譯為 eBPF。
  3. Salix 把 Loop 排程到叢集上,放在它的 AI 代理旁邊。

Spinfoam 的 JIT 編譯器經過形式化驗證,產生的程式碼是記憶體安全的。一個 Loop 只佔用幾 KB 到幾十 KB 記憶體,所以 AI 代理需要多久,就可以讓 Loop 執行多久。

不用大型模型也能做判斷

Loop 可以呼叫 Jev 這類快速決策模型。藉助它們,Loop 無需呼叫大型語言模型,就能對外部資料和狀態做分類(例如,一封新郵件是否需要你處理)。

當 Loop 發現需要 AI 代理處理的事情時,會通知 AI 代理。只有這時,AI 代理的主迴圈才會執行,也只有這時才會消耗模型 token。

Loop 能做什麼

Loop 只能呼叫一份固定的能力清單:讀取類工具、裝置和環境工具、網路請求、你已連線的 App,以及向它的 AI 代理傳送通知。Loop 以建立者的權限行事,不會超出這個範圍。

  • 事件:其他系統可以透過 API,或透過該 Loop 專屬的私密 webhook URL,向 Loop 傳送事件。
  • 狀態:Loop 會儲存檢查點,並在重新啟動時取回它。
  • 限制:Loop 在十分鐘內喚醒 AI 代理的次數有上限。如果一個 Loop 持續一小時都停在這個上限,它就會暫停。
  • 故障:出現故障後,Salix 會從檢查點重新啟動 Loop,每小時最多三次。超過之後,Loop 會停止並告知它的 AI 代理。