Dosya sistemi kısıtlaması
Ajanlar yalnızca izin verilen kök dizinler içinde okur. Gezinme girişimleri engellenir ve günlüklenir, çalışma zamanında uygulanır.
Enterprise · Güvenlik
Varsayılan olarak yerel. Tasarım gereği kanıtlanabilir.
LeanCTX, AI ajanları için bir context engineering layer'ıdır — tehdit modeliniz için oluşturuldu: kod asla makineden ayrılmaz, sınırlar süreç içinde uygulanır ve her eylem, bize güvenmek zorunda kalmadan doğrulayabileceğiniz değiştirilemez bir deftere kaydedilir.
Kontroller
Altı kontrol, tek bir ikili dosyada.
Tüm kontroller, bağlamı sunan aynı Rust ikili dosyasında süreç içinde çalışır: mikro saniyelik ek yük, ekstra hizmet yok, atlatılabilecek ajan yok.
Komut yönetişimi
Tehlikeli komutlar yürütülmeden durdurulur. İzin listesi açıktır, sürümlenebilir ve denetlenebilirdir.
Anahtarlar asla modellere ulaşmaz
Kimlik bilgileri ve token'lar herhangi bir model içeriği görmeden önce dosya ve kabuk çıktısından temizlenir. İsteğe bağlı içerik filtreleri bunu PII sınıflarına (IBAN, ödeme kartları, AHV) ve gizlilik sınıflandırması kapısına kadar genişletir.
OWASP uyumlu tarama
Güvenilmeyen içerik (web sayfaları, konular, üçüncü taraf çıktılar) teslim edilmeden önce prompt-injection desenleri açısından taranır.
Harcanan kaynak kontrol altında
Rol başına token bütçeleri bir ajanın ne kadar tüketebileceğini sınırlar; bu, sonradan bir gösterge panelinde değil, süreç içinde uygulanır.
Değiştirilmeye karşı kanıtlı geçmiş
Okumalar, komutlar ve kayıtlar Ed25519-imzalanmış, hash zincirine bağlanmış yerel bir deftere kaydedilir. Bir komut tüm zinciri doğrular.
Veri akışı
Makineden ne çıkıyor? Hiçbir şey. Doğrula.
- Sıfır telemetri. Kullanım sinyali yok, çökme raporlaması yok, evden bildirim yok. İkili dosya ağ bağlantısı devre dışı bırakılmış olsa bile aynı şekilde çalışır.
- Yalnızca yerel durum. Önbellek, oturumlar, bilgi deposu ve defter ev dizininizdeki dosyalardır: incelenebilir, yedeklenebilir, silinebilir.
- Açık çıkış. Ağ çağrıları yalnızca yapılandırmanın etkinleştirdiği yerlerde gerçekleşir (örneğin bağladığınız bir sağlayıcı) — ve isteğe bağlı bir çıktı-DLP katmanı, ajanın dosyayı düzenlemesinden veya kabuk eylemi gerçekleştirmesinden önce ne yayınladığını kontrol eder. Her biri aynı yönetime ve denetime tabidir.
- Açık kaynak. Çekirdek Apache-2.0'dır, bu nedenle güvenlik ekibiniz bir satıcı PDF'sine güvenmek yerine her kod yolunu okuyabilir.
Nothing leaves the machine. Verify it.
Doğrulama
Güvenme. Doğrula.
terminal
# aktif güvenlik duruşunu kontrol edin
$ lean-ctx doctor# kayıt defterini uçtan uca doğrulayın
$ lean-ctx savings verify# denetim / finans için imzalı bir rapor dışa aktarın
$ lean-ctx savings exportMühendislik derinliği (sandbox, tehdit modeli, sertleştirme kontrol listesi ve ifşa politikası) güvenlik belgelerinde yer alır.
Güvenlik ekiplerinin sorduğu sorular. ask.
Hayır. LeanCTX tamamen geliştirici makinesinde sıfır telemetri ile çalışır. Önbellek, bilgi deposu ve denetim kayıt defteri yerel dosyalardır. Tek ağ çıkışı yalnızca kendi yapılandırmanızın açıkça etkinleştirdiği şeydir — ve denetim izi bunu kaydeder.
Kayıt defteri girdileri hash zincirlenmiş ve Ed25519 ile imzalanmıştır. Herhangi bir değişiklik zinciri bozar. lean-ctx savings verify, bütünlüğü uçtan uca kanıtlar ve dış doğrulama için ihracatlar imzaları taşır.
Evet. İkili tamamen çevrimdışı çalışır: sıkıştırma, önbellek, bellek, arama ve imzalı kayıt defteri hepsi yereldir. Enterprise, çevrimdışı dağıtım için imzalı paketler ve politika paketleri ekler.
Tehdit modelinizi getirin.threat model.
Bir pilot, bir güvenlik inceleme oturumu içerir: politikalarınız, sınırlarınız ve ajanların okuduğu, çalıştırdığı ve kaydettiği her şeyin imzalı bir raporu.