الأمان و
الموثوقية
صُمم lean-ctx للاستخدام الإنتاجي. تعمل جميع عمليات الضغط محلياً، وتتدهور الأخطاء بأناقة، ولا يغادر الكود جهازك أبداً.
مصمم لبيئة الإنتاج
كل قرار معماري يضع الأمان في المقدمة. يعالج lean-ctx كل شيء محلياً، ويتراجع بأمان عند الأخطاء، ولا يعدّل ملفاتك أبداً دون إذن صريح.
معالجة محلية 100%
تعمل جميع عمليات الضغط والتخزين المؤقت والتحليل على جهازك. lean-ctx هو خادم MCP محلي - الكود الخاص بك لا يمس خوادم خارجية أبداً.
التدهور الأنيق
إذا واجه lean-ctx خطأً، فإنه يمرر المحتوى الأصلي دون تغيير. لن يتعطل سير عملك بسبب فشل lean-ctx.
للقراءة فقط افتراضياً
يقرأ lean-ctx الملفات فقط للضغط. عملية الكتابة الوحيدة هي ctx_edit، والتي تتطلب استدعاءً صريحاً من المستخدم.
حماية على كل مستوى
من الحماية ضد اجتياز المسارات إلى التنفيذ المعزول، ينفذ lean-ctx حدود أمان متعددة لحماية قاعدة الكود الخاصة بك.
$ ctx_read("../../etc/passwd") ERROR: Path traversal blocked ├─ Requested: ../../etc/passwd ├─ Resolved: /etc/passwd └─ Allowed: /home/user/project/** $ ctx_read("src/main.rs") ✓ Reading src/main.rs (mode: auto) → 42 lines, 1.2 KB → compressed to 18 tokens
حماية من اجتياز المسارات
يتم التحقق من جميع مسارات الملفات عبر نقطة أمان. يتم رفض الطلبات خارج جذر المشروع.
تنفيذ معزول
تعمل أوامر الـ Shell مع مهلات زمنية قابلة للتهيئة وحدود موارد. لا eval() ولا تنفيذ كود ديناميكي.
لا شبكة بدون موافقة
ميزة الشبكة الوحيدة هي فحص إصدار يومي اختياري (معطل افتراضياً). لا تتبع، لا اتصال بالخوادم.
مختبر و موثق
يتم التحقق من كل إصدار بمجموعة اختبارات شاملة وتحليل ثابت صارم وتكامل مستمر عبر المنصات - بدون اختصارات.
أكثر من 1,400 اختبار آلي
يجتاز كل إصدار أكثر من 1,400 اختبار وحدة وتكامل يغطي الضغط والتخزين المؤقت وحراسات الأمان والحالات الحدية.
Clippy Pedantic
صفر تحذيرات مع أشد أدوات فحص Rust صرامة. يكتشف الوضع Pedantic الأخطاء الدقيقة ومشاكل الأداء وعيوب تصميم API.
CI شامل
يُشغل GitHub Actions الاختبارات على Linux و macOS و Windows. يفحص cargo-deny التبعيات بحثاً عن الثغرات والتوافق مع التراخيص.
لا شيء يتعطل. يمرر lean-ctx المحتوى الأصلي كما هو. لن يتم حظر سير عملك أبداً - تتلقى الذكاء الاصطناعي ببساطة سياقاً غير مضغوط.
مفتوح المصدر بالكامل
كل سطر من الكود قابل للتدقيق العام. لا تعتيم، لا ملفات ثنائية، لا تتبع افتراضي.
$ lean-ctx --version lean-ctx 3.4.3 ├─ License: Apache-2.0 ├─ Source: github.com/yvgude/lean-ctx ├─ Network calls: 0 (default) ├─ Telemetry: disabled └─ Data collection: none
مفتوح المصدر بالكامل
كل سطر من الكود قابل للتدقيق العام على GitHub. لا تشويش، لا ملفات ثنائية مبهمة، لا مكونات مغلقة المصدر.
صفر تتبع افتراضي
لا يجمع lean-ctx أي شيء افتراضياً. تتطلب الإحصائيات المجهولة الاختيارية موافقة صريحة ولا تحتوي على أي كود أو أسماء ملفات.
التحقق من المخرجات
يتم التحقق تلقائياً من سلامة كل مخرج مضغوط.
ctx_read src/auth.rs ✓ VERIFY PASS ├─ Paths checked: 12/12 preserved ├─ Identifiers: 8/8 preserved ├─ Structure: balanced └─ Info loss score: 0.0%
تثبيت المسارات
يتم التحقق من حفظ مسارات الملفات في المخرج المضغوط.
فحص المعرفات
يتم تتبع أسماء الدوال والهياكل عبر الضغط.
السلامة الهيكلية
يتم التحقق من توازن الأقواس للكشف عن الكتل المبتورة.
رياضياً مُثبَت
تم التحقق رسمياً من ثوابت السياسات وخصائص الضغط وأمان تسليم الوكلاء في Lean4 — نفس مساعد الإثبات المستخدم من قبل Amazon Cedar وMathlib. 82 نظرية تم التحقق منها آلياً بدون أي مبرهنات غير مُثبتة.
$ lake build Build completed successfully. 82 theorems verified 0 sorry (unproven lemmas) 0 warnings $ ctx_proof --format v2 ContextProofV2 · 8 claims extracted ├─ PathJail: proved (Lean4) · Q4 ├─ Budget: proved (Lean4) · Q4 ├─ Scope: proved (Lean4) · Q4 ├─ TerseQuality: proved (Lean4) · Q4 ├─ TerseEngine: proved (Lean4) · Q4 ├─ Compression: preserved · Q3 ├─ Secrets: passed · Q2 └─ Quality Level: 4 (Formally Verified)
ثوابت السياسات
منع الهروب من PathJail، عزل النطاق، تطبيق الميزانية، وقواعد حوكمة السياق — تم إثبات صحتها جميعاً في Lean4.
الحفاظ على الضغط
وضع Signatures يحافظ على جميع الصادرات، وضع Map يحافظ على الواردات، وضع Aggressive يضمن عدم تسرب أي أسرار — مُثبَت رياضياً.
أمان التسليم
تم التحقق رسمياً من آلة حالة تسليم الوكلاء: الحالات النهائية هي مصارف، ترتيب دورة الحياة أحادي الاتجاه، والمغلفات غير الصالحة يتم رفضها.
مستعد للتجربة؟
ثبّت lean-ctx في أقل من دقيقة واكتشف كيف يحمي سير عملك مع تقليل استهلاك الرموز بشكل كبير.