Salix

Salix

Salix adalah harness agen Comma: runtime terdistribusi dan multi-tenant yang menjalankan setiap agen Comma. Salix ditulis dengan Elixir dan Lean.

Banyak agen, sedikit sumber daya

Agen tradisional mendapat sandbox sendiri: container atau VM yang tetap menyala selama agen bekerja. Salix menjalankan ratusan agen dengan CPU dan memori yang dipakai satu sandbox semacam itu.

Salix menempatkan setiap agen di sebuah node dalam cluster, dan memindahkan agen antar node saat cluster berubah. Salix mengirimkan pesan dari satu agen ke agen lain lintas node. Satu cluster bisa memiliki ratusan node.

Agen berjalan di luar sandbox

Sebagian besar pekerjaan agen tidak butuh komputer: membaca, merencanakan, menulis, dan memanggil aplikasi yang Anda hubungkan. Salix menjalankan pekerjaan itu di harness itu sendiri, bukan di sandbox.

Saat agen butuh komputer, Salix membangunkan VM cloud untuknya. VM itu menyimpan datanya di antara pemakaian, jadi file dan tool yang terpasang tetap di tempat agen meninggalkannya. Saat pekerjaan selesai, VM bisa tidur lagi.

Dibangun dengan Elixir dan Lean

Salix berjalan di Elixir dan Erlang VM. Setiap agen adalah proses ringan tersendiri. Saat satu bagian sistem gagal, bagian itu dimulai ulang, dan agen lain tetap berjalan.

Inti loop agen ditulis dengan Lean. Keputusan kendalinya, seperti apa yang terjadi berikutnya dalam satu giliran dan ke mana data Anda boleh mengalir, berjalan sebagai kode Lean dengan bukti yang diperiksa mesin.

Loop berjalan di Spinfoam, yang compiler JIT-nya terverifikasi secara formal menghasilkan kode yang aman memori.

Selalu aktif, tanpa sandbox yang selalu menyala

Agen bisa mengawasi data Anda 24/7 dengan Loop. Loop adalah program kecil yang berjalan di cluster. Loop membangunkan agen hanya saat ada yang butuh agen, jadi satu jam yang sepi tidak memakai token model.

Mesin Anda dan runtime Anda

Anda bisa memasang mesin Linux atau macOS ke Salix, dan agen menjalankan perintah serta membuka file di sana. Comma memakai ini untuk bekerja di Mac Anda.

Salix punya loop agennya sendiri. Agen juga bisa memakai runtime agen eksternal, seperti Codex atau Claude Code, di perangkat yang Anda pilih.

Di bagian ini

• Loop: pekerjaan latar belakang yang selalu aktif, dikompilasi ke eBPF.
• Perangkat: memasang mesin Anda sendiri.
• Runtime agen: loop agen bawaan, Codex, dan Claude Code.