Enterprise · الأمن

محلي افتراضيًا. قابل للإثبات بالتصميم.

LeanCTX هو طبقة هندسة السياق لوكلاء الذكاء الاصطناعي — مبني ليناسب نموذج التهديد الخاص بك: الكود لا يغادر الجهاز أبدًا، ويتم فرض الحدود أثناء المعالجة، وكل إجراء يسجل في سجل مقاوم للتلاعب يمكنك التحقق منه دون الثقة بنا.

ابدأ الآن View Architecture

الضوابط

ستة ضوابط، ثنائي واحد.

تتم جميع الضوابط أثناء المعالجة في نفس الثنائي المكتوب بلغة Rust الذي يخدم السياق: أجزاء من الثانية من الحمل الزائد، ولا خدمة إضافية، ولا وكيل يمكن تجاوزه.

PathJail

احتواء نظام الملفات

يقرأ الوكلاء فقط داخل الجذور المسموح بها. يتم حظر محاولات التصفح وتسجيلها، وتفرض أثناء وقت التشغيل.

قائمة السماح لـ Shell

حوكمة الأوامر

يتم إيقاف الأوامر الخطرة قبل التنفيذ. قائمة السماح صريحة، وقابلة للإصدار، ويمكن تدقيقها.

تنقيح الأسرار

المفاتيح لا تصل أبدًا إلى النماذج

يتم تجريد بيانات الاعتماد والرموز المميزة من مخرجات الملفات والـ shell قبل أن ترى أي نموذج المحتوى. يوسع فلتر المحتوى الاختياري هذا ليشمل فئات معلومات التعريف الشخصية (IBAN، بطاقات الدفع، AHV) والتصنيف السري.

كشف الحقن

فحص متوافق مع OWASP

يتم فحص المحتوى غير الموثوق به (صفحات الويب، المشكلات، مخرجات الطرف الثالث) بحثًا عن أنماط حقن المطالبات قبل التسليم.

Budgets

الإنفاق تحت السيطرة

تحدد ميزانيات التوكن لكل دور الحد الأقصى لما يمكن للوكيل استهلاكه، ويتم فرض ذلك أثناء المعالجة بدلاً من لوحة تحكم لاحقًا.

سجل تدقيق موقّع

تاريخ مقاوم للتلاعب

يتم تسجيل القراءات والأوامر والمدخرات في سجل محلي مُوقَّع بـ Ed25519، ومُسلسل بالتجزئة (hash-chained). يؤكد أمر واحد السلسلة.

تدفق البيانات

ما يغادر الجهاز؟ لا شيء. تحقق منه.

صفر قياس عن بعد (telemetry). لا توجد نبضات استخدام، ولا تقارير تعطل، ولا اتصال بالمنزل. يعمل الثنائي بشكل متطابق مع تعطيل الشبكة.
الحالة المحلية فقط. التخزين المؤقت والجلسات ومخزن المعرفة والسجل هي ملفات ضمن دليل المستخدم الخاص بك: قابلة للتفتيش، وقابلة للنسخ الاحتياطي، وقابلة للحذف.
المغادرة الصريحة (egress). تحدث استدعاءات الشبكة فقط حيثما تسمح التكوينات بذلك (مثل مزود تقوم بتوصيله) — ويقوم طبقة DLP للمخرجات الاختيارية بفحص ما يصدره الوكيل نفسه قبل أن يعدل ملفًا أو يشغل إجراء shell. يخضع كل منها لنفس الحوكمة والتدقيق.
مفتوح المصدر. النواة هي Apache-2.0، لذا يمكن لفريق الأمان الخاص بك قراءة كل مسار تعليمي بدلاً من الثقة في ملف PDF للمورد.

Nothing leaves the machine. Verify it.

التحقق

لا تثق. تحقق.

terminal

# التحقق من الوضع الأمني النشط$ lean-ctx doctor

# التحقق من دفتر السجلات الموقّع بالكامل$ lean-ctx savings verify

# تصدير تقرير موقّع للتدقيق / المالية$ lean-ctx savings export

يتم توثيق العمق الهندسي (العزل، ونموذج التهديد، وقائمة التحصين، وسياسة الإفصاح) في وثائق الأمان.

ما يطلبه فريق الأمن. ask.

أحضر نموذج التهديد الخاص بك.threat model.

تتضمن المرحلة التجريبية جلسة مراجعة أمنية: سياساتك، وحدودك، وتقرير موقّع بكل ما قرأته العوامل وأجرته وحفظته.

حجز تجربة أولية وثائق الأمان →