Context OS

The Context OS for
AI Development

The intelligent layer between your AI and your codeستة أعمدة. بيئة تشغيل واحدة. إدارة كاملة لدورة حياة السياق.

المشكلة

وكلاء الذكاء الاصطناعي يفقدون السياق باستمرار

كل وكيل AI للبرمجة يواجه نفس التحدي الجوهري: يُعيد قراءة ملفات كاملة حين يحتاج فقط إلى توقيع دالة، ويُحلّل مخرجات Shell خام يمكن ضغطها بنسبة 95%، وينسى كل شيء بمجرد انتهاء الجلسة. النتيجة: هدر في التوكنات، واستجابات بطيئة، ومخرجات غير موثوقة.

بدون LeanCTX

قراءة الملف بالكامل (4,200 توكن)

مخرجات Shell خام (1,800 توكن)

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

شحن مخرجات AI غير مُتحقق منها

مع LeanCTX

وضع Map: 180 توكن (توفير 96%)

مضغوط: 42 توكن (توفير 98%)

الجلسات + المعرفة تستمر إلى الأبد

كل مخرج يُتحقق منه قبل التسليم

Context OS

ما هو نظام تشغيل السياق؟

نظام تشغيل السياق يتحكم في دورة حياة سياق الذكاء الاصطناعي بالكامل: من قراءة الملفات وضغط مخرجات Shell، عبر التوجيه الذكي والذاكرة المستمرة، إلى المخرجات المُتحقق منها والتسليم السلس عبر الأدوات والفرق والنماذج.

وكيل الذكاء الاصطناعي

LeanCTX Context OS

I/O Intelligence Memory Verify

الكود والأدوات

Pipeline

كيف يعمل

كل طلب سياق يمر عبر خط أنابيب LeanCTX المدعوم بالرسم البياني الحتمي. يُصنّف النظام النية، يُقيّم الصلة باستخدام Multi-Edge BFS و RRF Fusion، يضغط بخوارزميات خاصة بكل وضع، ويتحقق من المخرجات قبل التسليم. كل خطوة قابلة للتكرار والتدقيق.

الإدخال

يستقبل قراءات الملفات وأوامر Shell واستعلامات البحث من أي أداة AI عبر MCP أو HTTP.

النية

يُصنّف نوع المهمة ويختار استراتيجية المعالجة المثلى لكل طلب.

الصلة

يُصفّي المحتوى ليقتصر على المعلومات ذات الصلة بالمهمة باستخدام تحليل AST وتقييم الإنتروبيا واجتياز Multi-Edge Graph عبر الاستيرادات والاستدعاءات ومراجع الأنواع وروابط الاختبار.

الضغط

يُطبّق ضغطاً ذكياً بخوارزميات خاصة بكل وضع والتخزين المؤقت وترميز الفروق.

التحقق

يفحص المخرجات بحثاً عن مسارات وهمية واستيرادات معطلة وتسريب أسرار وانتهاكات السياسات.

التسليم

يُرجع السياق المضغوط والمتحقق منه إلى أداة AI عبر MCP أو HTTP API أو SDK.

أوضاع التكامل

أداة واحدة، ثلاث طرق للاتصال

يختار lean-ctx تلقائياً وضع التكامل الأمثل لكل وكيل. CLI-Redirect يزيل عبء مخطط MCP بالكامل، Hybrid يجمع أفضل ما في الاثنين، وFull MCP يوفر أقصى وصول للأدوات.

CLI-Redirect

افتراضي لـ Cursor و Gemini CLI

صفر عبء MCP. يستدعي الوكيل lean-ctx مباشرة عبر الشل — أسرع وضع مع ضغط كامل.

lean-ctx read src/auth.ts -m map

Hybrid

لـ Codex و Windsurf و Amp و Antigravity

MCP للقراءات المخزنة مؤقتاً (13 رمز)، CLI لأوامر الشل والبحث — أفضل ما في العالمين.

MCP cache + CLI shell/search

Full MCP

لـ JetBrains و Copilot و Cline

جميع الأدوات الـ 58 عبر بروتوكول MCP مع lazy tool set — مثالي للوكلاء الذين يحتاجون MCP.

58 tools via MCP + lazy tool set

خدمة خلفية

بيئة تشغيل سياق دائمة

يعمل daemon lean-ctx كخدمة خلفية عبر Unix Domain Socket. يوفر حالة جلسة مستمرة وإصابات ذاكرة تخزين مؤقت فورية وبدء تشغيل تلقائي أثناء الإعداد. عند التحديث، يعيد daemon التشغيل تلقائيًا مع البرنامج الجديد. يتم تنظيف ملفات PID/socket القديمة بشكل استباقي، وجميع الاتصالات لها مهلات مدمجة — لا حاجة لإدارة يدوية.

lean-ctx serve --status

$ lean-ctx serve --status

daemon running (PID 4139)

socket /tmp/lean-ctx.sock

uptime 2h 14m

sessions 3 active

cache 247 entries (hit rate 94.2%)

memory 12.4 MB

دعم الوكلاء

29+ وكيل، مُهيأ تلقائياً

يكتشف lean-ctx الوكلاء المثبتين ويهيئ وضع التكامل الأمثل لكل منهم. CLI-Redirect للوكلاء مع وصول shell، Hybrid للبيئات المختلطة، Full MCP للوكلاء بالبروتوكول فقط.

Agent	CLI-Redirect	Hybrid	MCP	Setup
Cursor	●	–	–	`lean-ctx init --agent cursor`
Claude Code	–	●	–	`lean-ctx init --agent claude`
Codex	–	●	–	`lean-ctx init --agent codex`
OpenCode	–	●	–	`lean-ctx init --agent opencode`
Gemini CLI	●	–	–	`lean-ctx init --agent gemini`
CRUSH	–	●	–	`lean-ctx init --agent crush`
Hermes	–	●	–	`lean-ctx init --agent hermes`
Pi	–	●	–	`lean-ctx init --agent pi`
Qoder	–	●	–	`lean-ctx init --agent qoder`
Windsurf	–	●	–	`lean-ctx init --agent windsurf`
Copilot	–	●	–	`lean-ctx init --agent copilot`
Amp	–	●	–	`lean-ctx init --agent amp`
Cline	–	●	–	`lean-ctx init --agent cline`
Roo Code	–	●	–	`lean-ctx init --agent roo`
Kiro	–	●	–	`lean-ctx init --agent kiro`
Antigravity	–	●	–	`lean-ctx init --agent antigravity`
Amazon Q	–	●	–	`lean-ctx init --agent amazonq`
Qwen	–	●	–	`lean-ctx init --agent qwen`
Trae	–	●	–	`lean-ctx init --agent trae`
Verdent	–	●	–	`lean-ctx init --agent verdent`
JetBrains	–	–	●	`lean-ctx init --agent jetbrains`
QoderWork	–	–	●	`lean-ctx init --agent qoderwork`
VS Code	–	–	●	`lean-ctx init --agent vscode`
Zed	–	–	●	`lean-ctx init --agent zed`
Neovim	–	–	●	`lean-ctx init --agent neovim`
Emacs	–	–	●	`lean-ctx init --agent emacs`
Sublime Text	–	–	●	`lean-ctx init --agent sublime`
Aider	–	–	●	`lean-ctx init --agent aider`
Continue	–	–	●	`lean-ctx init --agent continue`

نظرية حقل السياق

اختيار سياق قائم على أسس رياضية

كل عنصر سياق له قيمة جهد قابلة للقياس. يستخدم LeanCTX نظرية حقل السياق (CFT) لحساب أي الملفات والدوال وحقائق المعرفة تنتمي لنافذة انتباه الذكاء الاصطناعي الخاص بك — وأيها لا تنتمي.

جهد السياق Φ

Φ(i,t) = w_R · R(i,t) + w_S · S(i) + w_G · G(i,t) + w_H · H(i) − w_C · C(i,v) − w_D · D(i, selected)

تُقيّم دالة Phi كل عنصر سياق في الوقت الحقيقي. الملاءمة والتقادم ومركزية الرسم والتاريخ والتكلفة والتكرار تُدمج في درجة تصنيف واحدة.

R R — درجة ملاءمة المهمة

S S — الأهمية الهيكلية (مركزية الرسم)

G G — تدرج الحداثة (التناقص الزمني)

H H — تردد الوصول التاريخي

C C — تكلفة الرموز للنموذج الحالي

D D — التكرار مع العناصر المُختارة بالفعل

مقابض السياق

مراجع مُتفرقة وكسولة لعناصر السياق. بدلاً من تحميل ملفات كاملة، يعمل العملاء بمقابض خفيفة مثل @F1 أو @K3 تتوسع عند الطلب — توفير الرموز حتى تكون المحتويات مطلوبة فعلاً.

طبقات السياق

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

مُجمّع السياق

عند إعطاء ميزانية رموز ووصف مهمة، يختار المُجمّع المجموعة الفرعية المثلى من عناصر السياق باستخدام الاختيار الجشع المُرتّب بـ Φ مع عقوبات التكرار. النتيجة هي حزمة سياق مصغّرة ومُتحققة.

محرك سياسات السياق

قواعد تصريحية تحكم سلوك السياق. تثبيت ملفات الاختبار تلقائيًا أثناء TDD، قمع مجلدات vendor، فرض حدود الرموز حسب نوع الملف، أو وسم العناصر القديمة — كل ذلك قابل للتكوين لكل مشروع.

وصول كامل عبر CLI و MCP

كل عملية CFT متاحة عبر أوامر CLI وأدوات MCP. استخدم lean-ctx control و lean-ctx plan و lean-ctx compile في الطرفية، أو ctx_control و ctx_plan و ctx_compile عبر MCP.

حزم السياق

حزم ومشاركة وإعادة استخدام سياق المشروع المتراكم. تصدير المعرفة وبيانات الرسم البياني والملاحظات ونتائج الجلسات كحزم قابلة للنقل. تحميل الحزم تلقائيًا عند بدء الجلسة للخبرة الفورية بالمجال.

Pillars

تسعة أعمدة. بيئة تشغيل واحدة.

كل شيء بين الكود والذكاء الاصطناعي، تحت السيطرة.

الإدخال/الإخراج الذكي

قراءات حتمية، ضغط Shell، بحث - توفير 99% من التوكنات

13 أدوات 6 features

الذكاء

توجيه النوايا، اختيار الوضع، خط أنابيب تكيفي

13 أدوات 11 features

الذاكرة

الجلسات، معرفة المشروع، الرسوم البيانية، التسليمات

14 أدوات 5 features

الحوكمة

الأدوار، الميزانيات، اتفاقيات مستوى الخدمة، بوابات سير العمل، السياسات

6 أدوات 9 features

التحقق

براهين Lean4 الرسمية، التحقق القائم على المطالبات، مستويات الجودة 0–4

7 أدوات 8 features

التكاملات

MCP، HTTP، SDK، أكثر من 24 بيئة تطوير، سحابة، خادم الفريق

7 أدوات 6 features

Shared Sessions

مشاركة الجلسات عبر مساحات العمل والقنوات بين الوكلاء

4 أدوات 5 features

Context Bus

تدفق أحداث في الوقت الفعلي لتغييرات السياق عبر SSE

2 أدوات 5 features

SDK & API

TypeScript SDK و REST API للتكاملات الخارجية

0 أدوات 4 features

عرض حي

شاهده أثناء العمل

يقع LeanCTX بين أداة AI الخاصة بك وقاعدة الكود. كل قراءة ملف وأمر Shell واستعلام بحث يمر عبر Context Kernel - مضغوط ومخزن مؤقتاً ومتحقق منه قبل الوصول إلى النموذج.

ctx_read - map

ctx_read ({ path: "src/lib/auth.ts", mode: "map" })

exports authenticate(), validateToken(), refreshSession()

deps jsonwebtoken, bcrypt, redis

lines 247

original 4,200 tokens

compressed 180 tokens (96% saved)

cached 13 tokens on re-read

58 أدوات MCP

95+ أنماط Shell

29+ التكاملات

99% توفير الرموز

التحقق

كل مخرج يحمل إثباتاً

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

Cookbook & SDK

أمثلة حقيقية ضد خادم قيد التشغيل (<code>/v1/tools/call</code>).

التحقق & CI

حواجز حماية: clippy/اختبارات + تحقق من المخرجات.

الذاكرة (السياسات)

تغذية راجعة، علاقات، أوضاع استرجاع.

الثقة

ما يفعله LeanCTX ويخزنه - وما لا يفعله أبداً.