एंटरप्राइज · सुरक्षा

डिफ़ॉल्ट रूप से स्थानीय। डिज़ाइन द्वारा सिद्ध।

LeanCTX AI एजेंट्स के लिए context engineering layer है — जो आपके थ्रेट मॉडल के लिए बनाया गया है: कोड कभी मशीन नहीं छोड़ता, सीमाएँ इन-प्रोसेस लागू होती हैं, और हर कार्रवाई एक छेड़छाड़-प्रमाणित लेजर में दर्ज होती है जिसे आप हम पर भरोसा किए बिना सत्यापित कर सकते हैं।

नियंत्रण (Controls)

छह नियंत्रण, एक बाइनरी।

सभी नियंत्रण संदर्भ प्रदान करने वाले एक ही Rust बाइनरी में इन-प्रोसेस चलते हैं: माइक्रोसेकंड का ओवरहेड, कोई अतिरिक्त सेवा नहीं, कोई एजेंट जिसे बायपास किया जा सके।

PathJail

फाइलसिस्टम कन्फाइनमेंट

एजेंट केवल अनुमत रूट के अंदर पढ़ते हैं। ट्रैवर्सल प्रयासों को ब्लॉक और लॉग किया जाता है, रनटाइम पर लागू होता है।

शेल अनुमति सूची

कमांड शासन

खतरनाक कमांड्स को निष्पादन से पहले रोका जाता है। अलाउलिस्ट स्पष्ट, संस्करण योग्य और ऑडिट करने योग्य होता है।

सीक्रेट रिडैक्शन

कुंजियाँ कभी मॉडल तक नहीं पहुँचती

किसी भी मॉडल को सामग्री दिखने से पहले क्रेडेंशियल्स और टोकन फ़ाइल और शेल आउटपुट से हटा दिए जाते हैं। ऑप्ट-इन कंटेंट फिल्टर्स इसे PII क्लास (IBAN, भुगतान कार्ड, AHV) और गोपनीय-वर्गीकरण गेटिंग तक बढ़ाते हैं।

इंजेक्शन डिटेक्शन

OWASP-संरेखण स्क्रीनिंग

अविश्वसनीय सामग्री (वेब पेज, इश्यू, थर्ड-पार्टी आउटपुट) को डिलीवरी से पहले प्रॉम्प्ट-इंजेक्शन पैटर्न के लिए स्क्रीन किया जाता है।

Budgets

खर्च नियंत्रण में

प्रति-भूमिका टोकन बजट यह सीमित करते हैं कि कोई एजेंट क्या उपभोग कर सकता है, जो डैशबोर्ड पर बाद में होने के बजाय इन-प्रोसेस लागू होता है।

साइन ऑडिट लेजर

छेड़छाड़-प्रूफ इतिहास

रीड्स, कमांड्स और सेविंग्स एक Ed25519-signed, hash-chained स्थानीय लेजर में लैंड करते हैं। एक कमांड श्रृंखला को सत्यापित करता है।

डेटा प्रवाह

मशीन से क्या बाहर जाता है? कुछ नहीं। इसे सत्यापित करें।

  • शून्य टेलीमेट्री। कोई उपयोग पिंग, कोई क्रैश रिपोर्टिंग नहीं, कोई फ़ोन-होम नहीं। बाइनरी नेटवर्किंग अक्षम होने पर भी समान रूप से काम करती है।
  • केवल स्थानीय स्थिति। कैश, सत्र, ज्ञान भंडार और लेजर आपके होम डायरेक्टरी के तहत फ़ाइलें हैं: निरीक्षण योग्य, बैकअप करने योग्य, हटाने योग्य।
  • स्पष्ट बहिर्गमन। नेटवर्क कॉल केवल वहीं होती हैं जहाँ कॉन्फ़िगरेशन उन्हें सक्षम करता है (उदाहरण के लिए, एक प्रदाता जिससे आप कनेक्ट करते हैं) — और एक ऑप्ट-इन आउटपुट-DLP परत स्क्रीन करती है कि एजेंट स्वयं क्या उत्सर्जित करता है इससे पहले कि वह कोई फ़ाइल संपादित करे या शेल एक्शन चलाए। प्रत्येक को समान शासन और ऑडिट का विषय होता है।
  • ओपन सोर्स। कोर Apache-2.0 है, इसलिए आपकी सुरक्षा टीम किसी विक्रेता पीडीएफ पर भरोसा करने के बजाय हर कोड पथ पढ़ सकती है।

Nothing leaves the machine. Verify it.

सत्यापन

भरोसा न करें। सत्यापित करें।

terminal
# सक्रिय सुरक्षा स्थिति की जाँच करें$ lean-ctx doctor
# एंड-टू-एंड हस्ताक्षरित बहीखाते का सत्यापन करें$ lean-ctx savings verify
# ऑडिट / वित्त के लिए एक हस्ताक्षरित रिपोर्ट निर्यात करें$ lean-ctx savings export

इंजीनियरिंग गहराई (सैंडबॉक्सिंग, खतरा मॉडल, हार्डनिंग चेकलिस्ट और प्रकटीकरण नीति) सुरक्षा दस्तावेज़ीकरण में है।

सुरक्षा टीमें क्या पूछती हैं। ask.

अपना खतरा मॉडल लाएँ।threat model.

एक पायलट में एक सुरक्षा समीक्षा सत्र शामिल होता है: आपकी नीतियां, आपकी सीमाएं, और एजेंटों द्वारा पढ़ी गई, चलाई गई और सहेजी गई हर चीज़ की हस्ताक्षरित रिपोर्ट।

Support this project