الكتابات/blog/2026/07
Blog11 يوليو 2026·6 دقيقة

كيف تجعل تشخيصات LSP وكلاء البرمجة بالذكاء الاصطناعي موثوقين

وكلاء البرمجة بالذكاء الاصطناعي يقرؤون الكود كنص عادي افتراضياً. ربط بروتوكول خادم اللغة يمنحهم أخطاء الأنواع والتشخيصات وحلقة تصحيح ذاتي.

تصور تجريدي لحلقة تغذية راجعة من خادم اللغة تغذي وكيل برمجة بالذكاء الاصطناعي بتشخيصات أخطاء الأنواع

أهم تطوير طرأ على وكلاء البرمجة بالذكاء الاصطناعي في 2026 لم يكن نموذجاً أكبر، بل منح الوكيل وسيلة ليرى ما إذا كان تعديله يُترجم بنجاح. تأتي هذه الإشارة من بروتوكول خادم اللغة (LSP)، وقد أصبحت بهدوء الفارق بين وكيل يُخمّن ووكيل يتحقق.

مشكلة النص العادي

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

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

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

ما الذي يوفره بروتوكول خادم اللغة فعلياً

LSP بروتوكول معياري مستقل عن المحرر يفصل ذكاء الكود عن المحرر نفسه. يحتفظ خادم اللغة الخاص بـ TypeScript أو Python أو Rust أو Go بمخطط الرموز والأنواع للمشروع بأكمله في الذاكرة ويجيب على استعلامات منظمة حوله. بالنسبة للوكيل، تهم ثلاث قدرات أكثر من غيرها:

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

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

حلقة التغذية الراجعة التي تغيّر كل شيء

هذا هو النمط الذي يفصل وكيلاً موثوقاً عن وكيل متفائل:

  1. يجري الوكيل تعديلاً.
  2. يسحب النظام تشخيصات LSP فوراً للملفات المتأثرة.
  3. إن وُجدت أخطاء، تعود مباشرة إلى سياق النموذج.
  4. يصلحها الوكيل قبل أن يُبلّغ أصلاً عن اكتمال المهمة.

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

بدأ البحث العلمي يُضفي على هذا طابعاً رسمياً. تدافع ورقة على arXiv من 2026 حول التعلم المعزّز من تغذية المترجم وخادم اللغة (RLCSF) عن معاملة التشخيصات لا كإشارة نجاح أو فشل نهائية، بل كتغذية راجعة كثيفة على مستوى الانتقال بعد كل إجراء وسيط — مكافأة يمكن للنموذج أن يتعلّم التخطيط لها. الدرس العملي للمهندسين الذين يبنون اليوم أكثر تواضعاً وأكثر فورية: كلما كانت إشارة التغذية الراجعة أغنى وأسرع، تصرّف وكيلك أفضل.

الدعم الأصلي وصل

لم تعد مضطراً لبناء هذا من الصفر. أضاف الوكلاء الرئيسيون تكامل LSP خلال العام الماضي:

  • Claude Code أضاف دعم LSP الأصلي في ديسمبر 2025 (الإصدار 2.0.74): تشخيصات تلقائية بعد كل تعديل ملف، وتنقل دلالي، وفهم واعٍ بالأنواع، دون ربط خادم يدوي للغات الشائعة.
  • OpenCode، الوكيل مفتوح المصدر، يحمّل خوادم اللغة الصحيحة تلقائياً لأي لغة يعمل عليها النموذج ويعيد التشخيصات إلى الحلقة في منتصف المهمة. هذه الموثوقية جزء كبير من سبب تصدّره عدة تصنيفات لأدوات التطوير بالذكاء الاصطناعي في منتصف 2026.
  • Cursor والمحررات الأخرى الأصيلة بالذكاء الاصطناعي ترث ذكاء الكود مباشرة من أساس المحرر.

هذا التقارب دالّ. حين يضيف كل وكيل جاد القدرة نفسها بشكل مستقل، لم تعد ميزة — بل حداً أدنى مطلوباً.

ربط LSP في نظامك الخاص

إن كنت تبني وكلاء فوق Claude Agent SDK أو أتمتة داخلية أو حلقة مخصصة، يمكنك كشف الإشارة نفسها. الطريق الأنظف اليوم عبر بروتوكول سياق النموذج (MCP): مشاريع مثل agent-lsp تغلّف خادم لغة وتكشف التشخيصات والتنقل كأدوات MCP يستطيع أي وكيل استدعاؤها.

مفاهيمياً، تبدو الحلقة هكذا بالكود الوهمي:

async function applyEditWithVerification(edit) {
  await workspace.applyEdit(edit);
 
  // اسحب التشخيصات للملفات المتغيّرة فقط — سريع، لأن
  // خادم اللغة يبقي مخطط الأنواع ساخناً في الذاكرة.
  const diagnostics = await lsp.getDiagnostics(edit.changedFiles);
 
  const errors = diagnostics.filter((d) => d.severity === "error");
  if (errors.length === 0) {
    return { status: "clean" };
  }
 
  // أعِد الأخطاء المنظّمة إلى النموذج كدوره التالي.
  return {
    status: "needs_fix",
    feedback: errors.map(formatForModel),
  };
}

خيارات التصميم الأساسية:

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

ما وراء الأخطاء: التنقل وكفاءة الرموز

تحظى التشخيصات بالاهتمام، لكن تنقل LSP يحلّ بهدوء مشكلة ثانية: تكلفة الرموز. بدونه، يبحث الوكيل الذي يحتاج فهم دالة عن اسمها، يقرأ عدة ملفات مرشّحة، ويحرق آلاف الرموز في إعادة بناء ما يعرفه المحرر سلفاً. أما مع find-references وgo-to-definition، فيقفز الوكيل إلى الرمز المضبوط ويقرأ ما يهم فقط.

التقط معيار قياس منتشر من 2026 هذه الفجوة بصراحة: في المهمة نفسها، أنهى وكيل واعٍ بـ LSP بنحو 33 ألف رمز ودون أخطاء، بينما استهلك وكيل نصّي فقط 188 ألف رمز ومع ذلك اصطدم بأخطاء. التنقل الدلالي ليس ترفاً — في قاعدة كود كبيرة هو الفرق بين وكيل يتوسّع ووكيل يتخبّط.

ماذا يعني هذا للفرق

بالنسبة لفرق الهندسة في منطقة الشرق الأوسط وشمال إفريقيا وكل من يتبنّى التطوير بمساعدة الذكاء الاصطناعي، الدرس ملموس ومريح. أنت لا تحسّن موثوقية الوكيل أساساً بكتابة توجيهات أطول، بل بتحسين البيئة التي يعمل فيها الوكيل:

  • تأكد من أن اللغات في منظومتك التقنية لديها خادم لغة يعمل ويستطيع الوكيل الوصول إليه.
  • أبقِ إعدادات فحص الأنواع والتدقيق نظيفة، حتى تكون التشخيصات جديرة بالثقة لا مزعجة.
  • فضّل الوكلاء والأنظمة التي تُغلق حلقة التعديل والتحقق تلقائياً.
  • عامل التغذية الراجعة السريعة والمقروءة آلياً — الأنواع والاختبارات وأدوات التدقيق والتشخيصات — كبنية تحتية من الدرجة الأولى، لأنها الحقيقة الأرضية التي يتعلّم منها وكيلك ضمن مهمة واحدة.

التوجيه يخبر الوكيل بما يفعل. خادم اللغة يخبره إن كان قد فعله حقاً. البرمجة الوكيلة الموثوقة تحتاج كليهما، ولدى معظم الفرق النصف الثاني هو ما يزال مفقوداً.

الخلاصة

أمضت الصناعة عام 2025 تتجادل حول أي نموذج يكتب أفضل كود. في 2026 السؤال الأكثر فائدة هو أي وكيل يتحقق من كوده أسرع. حوّلت تشخيصات LSP وكيل البرمجة من مخمّن واثق إلى حلقة محكمة ذاتية التصحيح — وجعلت الخط الأحمر المتواضع أحد أهم اللبنات الأساسية في الهندسة الوكيلة. إن كان وكيلك ما زال يقرأ الكود كنص عادي، فهذا هو التطوير الأول الذي عليك إجراؤه.

في نقطة، نساعد الفرق في تونس ومنطقة الشرق الأوسط وشمال إفريقيا على بناء سير عمل تطوير بمساعدة الذكاء الاصطناعي موثوقة بحكم التصميم لا بحكم الحظ. إن كنت تربط الوكلاء بقاعدة كود حقيقية، فالبيئة التي تمنحهم إياها أهم من التوجيه الذي تكتبه.