Sverklo، وهو خادم بحث عن الكود مستضاف محلياً، يتيح الآن للمطورين فحص كل خطوة من خطوات الاستعلام – من اكتشاف الملفات إلى الاستدلال عبر الرسم البياني للرموز (symbol-graph reasoning) – قبل أن يقوم وكيل الذكاء الاصطناعي بالتنفيذ بناءً على النتيجة.

لماذا تتعثر وكلاء البرمجة الحالية

تعامل معظم أدوات توليد الكود المستودع (repository) كأنه كومة ضخمة من النصوص؛ حيث تقوم بتضمين مقتطفات (snippets)، وتجري بحثاً عن التشابه، ثم تعيد الجزء صاحب أعلى درجة. وعندما يكون هذا الجزء قديماً، أو خارج النطاق، أو مجرد اسم ملف، لا يستطيع الوكيل الإشارة إلى مصدره. إن نمط الفشل هنا ليس نقصاً في الكلمات، بل هو نقص في طبقة السياق التي تخبر الإنسان من أين جاءت المعلومة وما إذا كانت لا تزال قابلة للتطبيق.

نموذج التحقق رباعي الطبقات من Sverklo

يضع Sverklo نفسه كخادم "فرضية هندسية" (engineering hypothesis) يدمج البحث التقليدي مع التحليل الهيكلي:

  • اكتشاف الملفات (File Discovery) – يقرأ الفهرس ملف .gitignore وملفات التجاهل الأخرى. وقبل الوثوق بالنتيجة، يمكنك الاستعلام من الفهرس لمعرفة المسارات التي تم فحصها بالفعل.
  • هيكل الكود (Code Structure) – تعيش الرموز (Symbols) في رسم بياني يسجل التعريفات، والاستيرادات (imports)، وعلاقات الاستدعاء. تعيد عملية البحث كائن الرمز (symbol object)، وليس مجرد مسار ملف، بحيث يمكنك التأكد من الإشارة إلى واجهة برمجة التطبيقات (API surface) الصحيحة.
  • تقديم السياق (Context Delivery) – عند تحديد ميزانية للرموز (token budget)، يعيد Sverklo خريطة للمقتطفات التي ساهمت في الإجابة. تتضمن الخريطة حقلاً باسم found_by يخبرك ما إذا كانت المطابقة ناتجة عن مطابقة الكلمات المفتاحية باستخدام BM25، أو التضمينات (embeddings) الناتجة عن ONNX، أو الرسم البياني للرموز المرتب بـ PageRank.
  • سجل الذاكرة (Memory Ledger) – يسجل الخادم كل قرار. إذا تغير ملف ما، يقوم السجل بتمييز إدخال الذاكرة المقابل كبيانات قديمة، موضحاً ما إذا كانت الإجابة المخزنة مؤقتاً لا تزال صالحة.

كيف يعمل مكدس الاسترجاع (retrieval stack)

لا يعتمد Sverklo على التضمينات (embeddings) وحدها؛ فهو يشغل محرك كلمات مفتاحية BM25 كلاسيكي للمطابقات الدقيقة للمصطلحات، ويعزز تلك النتائج بتضمينات متجهة (vector embeddings) قائمة على ONNX للتشابه الدلالي، ثم يطبق خوارزمية PageRank على الرسم البياني للرموز لإظهار التعريفات عالية التأثير. ومن خلال الكشف عن الطريقة التي أنتجت كل نتيجة، يمكن للمطورين رصد التناقضات — على سبيل المثال، نتيجة BM25 يراها نموذج التضمين غير ذات صلة — واختيار الإشارة التي يثقون بها.

استخدامات عملية

  • استكشاف قواعد الكود غير المألوفة – الانتقال من اسم دالة إلى جميع مستدعيها دون الحاجة لاستخدام grep يدوياً.
  • رسم خرائط رسوم التبعية البيانية – تصور سلاسل الاستيراد التي تمتد عبر حزم متعددة.
  • تقدير تأثير إعادة الهيكلة (refactor) – معرفة الرموز التي قد تتعطل إذا تغير ملف معين.
  • الإجابة على الأسئلة الدلالية – اسأل "ماذا تفعل هذه الدالة المساعدة؟" واحصل على مقتطف موجز وموثق بالمصدر.

عثرات يجب الحذر منها

  • الحداثة (Freshness) – قد تنتهي عملية إعادة الفهرسة بينما يظل الطابع الزمني للفهرس قديماً. قم دائماً بالاستعلام من نقطة نهاية index-status بدلاً من افتراض أن آخر عملية تشغيل هي الأحدث.
  • تسجيل المشروع – عند إلغاء تسجيل مشروع ما، استخدم اسم المشروع الداخلي الذي يوفره Sverklo، وليس مسار نظام الملفات المطلق، وإلا ستفشل العملية بصمت.
  • غرائب تسمية الأدوات – تقوم مضيفات MCP أحياناً بإضافة اسم المشروع مرتين في البداية، مما ينتج عنه معرفات مثل sverklo_sverklo_impact. تحقق من الاسم جيداً قبل استدعاء الأداة.

ماذا تجرب بعد ذلك

  1. قم بعمل clone لمستودع مؤقت وقم بتشغيل Sverklo محلياً.
  2. قم بإجراء بحث بسيط عن رمز وافحص حقل found_by.
  3. قم بتعديل ملف مصدر وأعد تشغيل البحث؛ لاحظ كيف يقوم سجل الذاكرة بتمييز الإدخال القديم.
  4. ادمج فحص index-status في نص البناء (build script) الخاص بك لالتقاط الفهارس القديمة تلقائياً.

الخلاصة

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