Salix

Salix

Salix, Comma का एजेंट हार्नेस है: एक डिस्ट्रिब्यूटेड, मल्टी-टेनेंट रनटाइम जो Comma के हर एजेंट को चलाता है। यह Elixir और Lean में लिखा गया है।

ढेर सारे एजेंट, कम संसाधन

पारंपरिक एजेंट को अपना एक सैंडबॉक्स मिलता है: एक कंटेनर या VM जो एजेंट के काम करते समय चालू रहता है। Salix उतने CPU और मेमरी में सैकड़ों एजेंट चलाता है, जितना ऐसा एक सैंडबॉक्स इस्तेमाल करता है।

Salix हर एजेंट को क्लस्टर के किसी नोड पर रखता है, और क्लस्टर बदलने पर एजेंट को दूसरे नोड पर ले जाता है। यह अलग-अलग नोड पर मौजूद एजेंट के बीच मैसेज पहुँचाता है। एक क्लस्टर में सैकड़ों नोड हो सकते हैं।

एजेंट सैंडबॉक्स के बाहर चलता है

एजेंट के ज़्यादातर काम में कंप्यूटर की ज़रूरत नहीं होती: वह पढ़ता है, योजना बनाता है, लिखता है और आपके जुड़े हुए ऐप्स को कॉल करता है। Salix यह काम सैंडबॉक्स में नहीं, सीधे हार्नेस में चलाता है।

जब एजेंट को कंप्यूटर चाहिए, Salix उसके लिए एक क्लाउड VM जगाता है। VM इस्तेमाल के बीच अपना स्टोरेज बनाए रखता है, इसलिए फ़ाइलें और इंस्टॉल किए गए टूल वहीं रहते हैं जहाँ एजेंट ने उन्हें छोड़ा था। काम पूरा होने पर VM फिर से स्लीप में जा सकता है।

Elixir और Lean से बना

Salix, Elixir और Erlang VM पर चलता है। हर एजेंट अपनी एक हल्की प्रोसेस है। सिस्टम का कोई हिस्सा फ़ेल होने पर वह फिर से शुरू हो जाता है, और बाकी एजेंट चलते रहते हैं।

एजेंट लूप का कोर Lean में लिखा है। इसके कंट्रोल फ़ैसले, जैसे किसी टर्न में आगे क्या होगा और आपका डेटा कहाँ जा सकता है, मशीन से जाँचे गए प्रूफ़ के साथ Lean कोड के रूप में चलते हैं।

Loops Spinfoam पर चलते हैं, जिसका JIT कंपाइलर फ़ॉर्मल रूप से सत्यापित है कि वह मेमरी-सेफ़ कोड बनाता है।

हमेशा चालू, बिना हमेशा चालू सैंडबॉक्स के

एजेंट एक Loop के ज़रिए 24/7 आपके डेटा पर नज़र रख सकता है। Loop एक छोटा प्रोग्राम है जो क्लस्टर पर चलता है। यह एजेंट को सिर्फ़ तभी जगाता है जब किसी चीज़ पर ध्यान देना हो, इसलिए शांत घंटे में कोई मॉडल टोकन ख़र्च नहीं होता।

आपकी मशीनें और आपके रनटाइम

आप Salix से कोई Linux या macOS मशीन जोड़ सकते हैं, और एजेंट उस पर कमांड चलाते हैं और फ़ाइलें खोलते हैं। Comma इसी तरह आपके Mac पर काम करता है।

Salix का अपना एजेंट लूप है। एजेंट आपके चुने हुए डिवाइस पर बाहरी एजेंट रनटाइम भी इस्तेमाल कर सकता है, जैसे Codex या Claude Code।

इस सेक्शन में

  • Loops: हमेशा चलने वाला बैकग्राउंड काम, eBPF में कंपाइल किया हुआ।
  • डिवाइस: अपनी मशीनें जोड़ना।
  • एजेंट रनटाइम: बिल्ट-इन एजेंट लूप, Codex और Claude Code।