النظام الذي يقرر
ما تراه واجهة الذكاء الاصطناعي الخاصة بك.
طبقة هندسة السياق لوكلاء الذكاء الاصطناعيثنائي محلي واحد على جانبي النموذج. يدرك LeanCTX، ويضغط، ويتذكر، ويوجه، ويحكم دورة حياة سياق الذكاء الاصطناعي بالكامل، بدءًا من قراءة الملفات وصولاً إلى المخرجات المؤكدة.
ما هي طبقة السياق المعرفي؟
طبقة السياق المعرفي هي البنية التحتية بين أدوات الذكاء الاصطناعي ومجموعة التعليمات البرمجية الخاصة بك. إنها تتحكم في الملفات التي يتم قراءتها، وكيفية ضغط المخرجات، وما هي المعرفة التي تستمر عبر الجلسات، وما إذا كانت النتائج تلبي معايير الجودة قبل التسليم.
رسم البناء
الطوبولوجيا العملية للثنائي المُشحون: سبع نقاط دخول، وتشغيل واحد، ومجموعة من المخازن المحلية. كل صندوق أدناه يمثل وحدة أو منفذًا أو ملفًا حقيقيًا على القرص.
lean-ctx lean-ctx serve lean-ctx serve --daemon lean-ctx -c "<cmd>" lean-ctx proxy start lean-ctx dashboard lean-ctx watch · gain --live ماذا يحدث لقراءة واحدة
يتتبع المخطط 2 طلبًا واحدًا عبر وقت التشغيل، مرحلة تلو الأخرى، بما في ذلك الدائرة القصيرة للتخزين المؤقت التي تجعل القراءات المتكررة شبه مجانية. يعمل مسار Shell بالتوازي مع نفس الحساب.
ctx_read(path, mode) · lean-ctx read - PathJail
core/pathjail.rsCanonicalises the path and rejects escapes outside the workspace root before any I/O happens.
- Session cache
hit → ~13 tokensContent-addressed lookup keyed by path + mtime/hash. Unchanged files collapse to a stub instead of re-sending content.
- AST extraction
26 languagestree-sitter parses the file into a syntax tree: signatures, imports, call edges — Lua, Luau, Kotlin and GDScript are graph-indexed too. Regex fallback for unsupported languages.
- Mode selection
10 modesauto picks the optimal of 10 read modes (full, map, signatures, diff, task, reference, aggressive, entropy, lines:N-M) from task intent and file size; structure_first biases cold medium-file code reads toward map, and a file flagged suspect on a fix task is forced to full.
- Compression
adaptive thresholdsShannon-entropy line filtering, U-curve attention placement (LITM), TF-IDF codebook and query-conditioned Information-Bottleneck fusion — an anti-inflation guard ships the file verbatim whenever framing would cost more tokens than the raw bytes.
- Token accounting
core/tokens.rsExact tiktoken counts (o200k_base; cl100k_base approximation for Claude-family models) on input and output.
- Ledger + stats
savings sign / verify-batchSavings are appended to the local ledger (Ed25519-signable), stats and the gain score update, the result streams back.
lean-ctx -c "cargo test" · IDE bash hook تنتهي كلتا المسارين في نفس السجل: يتم احتساب كل حدث ضغط باستخدام رياضيات الرمّز الدقيقة ويغذي gain ولوحة المعلومات وسجل التوفير الموقَّع.
ورقة بيانات الهندسة
الجداول المرجعية وراء الرسومات: كل سطح بنقله ودورة حياته، والتخطيط على القرص، والطبقات ذات التعلم التكيفي، وحدود الأمان التي يفرضها وقت التشغيل.
Aنموذج العملية
جميع الواجهات هي ثنائيات متطابقة في أدوار مختلفة. لا يتطلب أي شيء اتصال سحابي؛ كل شيء مرتبط محليًا أولاً.
| REF | SURFACE | TRANSPORT | ENDPOINT | LIFECYCLE | الأمر |
|---|---|---|---|---|---|
| 01 | MCP server (stdio) | JSON-RPC over stdin/stdout | spawned per editor session | child process of the editor | lean-ctx |
| 02 | MCP server (HTTP) | MCP Streamable HTTP | localhost, configurable --host/--port | foreground or service | lean-ctx serve |
| 03 | IPC daemon | Unix Domain Socket | OS data dir, e.g. ~/Library/Application Support/lean-ctx/daemon.sock | launchd / systemd autostart | lean-ctx serve --daemon |
| 04 | Shell hook | process exec, compressed stdout | wraps IDE bash calls + interactive shells | per command | lean-ctx -c "<cmd>" |
| 05 | API proxy | HTTP (LLM API pass-through) | localhost:4444 (default) | on demand | lean-ctx proxy start |
| 06 | Web dashboard | HTTP + bearer token | localhost:3333 (default, --port) | on demand | lean-ctx dashboard |
| 07 | Terminal UI | TTY (in-place redraw) | live event stream / 1 s refresh | interactive | lean-ctx watch · gain --live |
Bتخطيط التخزين — مسارات XDG المحلية
الحالة المستمرة عبارة عن ملفات عادية ضمن دليل قاعدة XDG: قابلة للتفتيش، وقابلة للتصدير، وقابلة للحذف. لا توجد قواعد بيانات مخفية تتجاوز هذه المجلدات المحلية.
| المُصنَّف (ARTIFACT) | FORM | الغرض |
|---|---|---|
config.toml | TOML | Single config file — integration mode, compression, providers, opt-outs (config dir) |
cache/ | content-addressed | Session file cache; unchanged re-reads collapse to ~13-token stubs (cache dir) |
bm25 index | inverted index | Lexical search over code chunks + provider documents (data dir) |
context_graph/ | property graph | Imports, calls, types across files and repos — powers map mode + deep queries (data dir) |
knowledge | SQLite | Persistent facts, decisions, rooms — recalled across sessions, CCP (data dir) |
savings ledger | append-only JSONL | Every compression event; Ed25519-signable for audit (data dir) |
litm_calibration.json | JSON | Learned context-position hit rates (lost-in-the-middle calibration) (cache dir) |
events.jsonl | event stream | Live feed consumed by watch, dashboard and efficacy reports (state dir) |
Cطبقات التعلم التكيفي
تضبط سبع آليات للتعلم عبر الإنترنت الضغط ليناسب استخدامك الفعلي، محليًا، من إشارات الجودة مثل الارتدادات وفشل التحرير. تعمق: التعلم التكيفي →
- L1 Adaptive thresholds Online-learned compression aggressiveness from quality signals (bounces, edit failures, clean runs)
- L2 LITM calibration Empirical placement of critical context at positions the model actually attends to
- L3 Stigmergic scent field Multi-agent coordination via decaying markers: claimed, done, stuck, hot, avoid
- L4 Delta playbook Incremental checkpoint snapshots that survive context compaction
- L5 Query-conditioned IB Information-Bottleneck compression fused with query relevance
- L6 Theta-gamma chunking Wakeup facts grouped in attention-friendly bursts
- L7 Semantic dedup Likelihood-scored redundancy filtering across the session
Dحدود الأمان
ضمانات صارمة يتم فرضها في وقت التشغيل. نموذج الأمان →
- PathJail Every file access is canonicalised and confined to the workspace root
- IDE config-dir jail Home-level IDE/agent config dirs (~/.claude, ~/.codex, ~/.codebuddy, …) are writable only when allow_ide_config_dirs is opted in; otherwise PathJail blocks them
- Shell allowlist Deny-by-default command policy for agent-issued shell executions
- Local-first All processing on-device; dashboard binds to localhost and requires a bearer token
- Signed evidence Savings ledger entries are Ed25519-signable and batch-verifiable
ثنائي واحد. ثلاث طرق للدخول.
يختار LeanCTX تلقائيًا وضع التكامل الأمثل لكل وكيل: يقود CLI-Redirect واجهة سطر الأوامر الخاصة بـ LeanCTX عبر قواعد المحرر دون أي عبء إضافي لـ MCP، ويجمع Hybrid بين القراءات المؤقتة المخزنة في MCP وخطافات ضغط الصدفة (shell)، ويوفر Full MCP أقصى وصول للأدوات للمحررات التي تعتمد على البروتوكول فقط.
lean-ctx -c / read / grep MCP cache + CLI shell/search 81 tools via MCP + lazy tool set في كلتا الحالتين، يختار LeanCTX الوضع المناسب لمحرر النصوص الخاص بك تلقائيًا. شاهد جميع الأدوات المدعومة (30+)
دائم التشغيل. ملكك دائمًا.
تُبقي خدمة خلفية صغيرة جلستك نشطة، بحيث تكون عمليات الوصول إلى ذاكرة التخزين المؤقت فورية والذاكرة متوفرة دائمًا. تبدأ تلقائيًا أثناء الإعداد، وتعيد تشغيل نفسها عند التحديث، وتنظف نفسها بعد ذلك، لا شيء لإدارته.
كل قدرة، ثنائي واحد.
كل ما بين الكود الخاص بك والذكاء الاصطناعي، يتم التعامل معه.
Smart I/O
قراءات حتمية، وضغط الصدفة (shell)، والبحث، والرؤية الكاملة للسياق + تقليل الرموز بنسبة 99%
ضغط الطلبات
وكيل محلي اختياري يضغط كل طلب إلى النموذج — موجه النظام، والتاريخ، ونتائج الأدوات — آمن من التخزين المؤقت للموجه (prompt-cache).
Intelligence
توجيه النوايا، واختيار الأنماط، والخط أنابيب التكيفي
Memory
الجلسات، ومعرفة المشروع، والرسوم البيانية، وعمليات التسليم
Governance
الأدوار والميزانيات ومستويات الخدمة (SLOs) وبوابات سير العمل والسياسات
Verification
براهين Lean4 الرسمية، والتحقق القائم على المطالبات، ومستويات الجودة 0-4
Integrations
MCP، وHTTP، ومجموعات التطوير (SDK)، وأكثر من 29 بيئة تطوير متكاملة (IDEs)، والسحابة، وخادم الفريق
Shared Sessions
مشاركة الجلسات عبر مساحة العمل والقنوات بين الوكلاء
Context Bus
تدفق الأحداث في الوقت الفعلي لتغييرات السياق عبر SSE
SDK & API
مجموعة SDK بلغة TypeScript وواجهة برمجة تطبيقات REST للتكاملات الخارجية
كل مخرج يحمل دليلًا
يُنشئ LeanCTX مُصنوعات إثبات لكل جلسة: ما هي الملفات التي تم قراءتها، وما الذي تم ضغطه، وما هي عمليات التحقق التي نجحت، وكيف تم إنفاق الرموز. وهذا يجعل عمل الذكاء الاصطناعي قابلًا للتدقيق وإعادة التشغيل والجدارة بالثقة.
LeanCTX (اختصار لـ Lean Context) هي الطبقة مفتوحة المصدر لهندسة السياق لوكلاء الذكاء الاصطناعي. يقرر ثنائي Rust المحلي ما يقرأه الوكلاء (10 أوضاع قراءة، عدد رموز أقل بنسبة 60-90٪، إعادة قراءة مخبأة تبلغ حوالي 13 رمزًا)، ويتذكر ما يتعلمونه (جلسات دائمة، رسم بياني للمعرفة)، ويحمي ما يلمسونه (PathJail، تنقيح الأسرار، الميزانيات، كشف الحقن)، ويثبت ما يحفظونه (دفتر أستاذ موقع بتوقيع Ed25519، معيار مرجعي قابل للاستنساخ) ويعيد تشغيل ما رأوه (لقطات سياق موقعة ومثبتة بـ git يمكنك استعادتها أو مشاركتها)؛ ووكيل محلي اختياري يضغط ما يرسلونه — موجه النظام، والتاريخ، ومخرجات الأدوات لكل طلب، آمن من التخزين المؤقت للموجه على السلك. الضغط — من جانب القراءة وجانب السلك — هو أحد الأنظمة الفرعية الخمسة، وكل أصل يبقى قابلاً للاسترداد محليًا. يعمل مع أكثر من 30 أداة برمجة للذكاء الاصطناعي عبر MCP وخطافات Shell؛ ويتم تضمينه في أي وكيل عبر واجهة API بإصدار /v1 مع حزم تطوير البرامج (SDKs) بلغات Python وTypeScript وRust. الاستخدام المحلي مجاني إلى الأبد، وهو ما تفرضه CI.
قراءة القصة الكاملة