lambda-symbolics/autolith

它解決的問題

Autolith 是一個基於終端的 AI 代理，運行於即時的 Common Lisp 影像中。它解決了僵化代理架構的問題，允許代理即時觀察、內省並修改自身的程式碼與狀態，從而能在不損失穩定性的前提下，適應使用者偏好與特定任務需求。

如何運作

Autolith 將 Common Lisp REPL 作為主要提示輸入，允許使用者混合使用散文式提示與精確的 Lisp 表達式。它使用可快照與回滾的即時影像，以防止自我修改期間發生永久性失敗。針對大型輸入，它採用「遞迴推論」（RLM），將大型檔案視為環境，利用隔離的 Lisp REPL 對其進行切片、搜尋與子推論，而非將所有內容塞入單一提示上下文視窗中。

適用對象

專為熟悉 Lisp 且偏好終端導向工作流程的開發者與進階使用者設計，尋求一個可動態修改與自我進化的代理。

特色

• Lisp 首選控制：提示視窗是一個完整的 REPL，使用者可執行 Lisp 表達式來計算提示或直接呼叫工具。
• 自我修改：代理可使用內建工具對自身進行「即時腦部手術」式的內省與修改，並由檢查點與恢復影像系統支援。
• 遞迴推論（RLM）：透過將大型輸入分解為隔離的推論框架，並共享預算與驗證資料回傳，來處理巨量輸入。
• 狀態恢復：使用僅追加檔案與對話範圍的保險庫，確保導引訊息與後續追蹤在崩潰後仍能存活。
• 跨平台：支援 Linux、MacOS 與各種 BSD 系統。