الاختلال الاقتصادي في أمان العقود الذكية كان دائمًا قاسيًا. المهاجم ينفق مكالمة واجهة برمجة التطبيقات، بينما ينفق المدافع أسبوعًا من مهندس. كان التحقق الرسمي دائمًا الإجابة النظرية الصحيحة. السبب في أنه لم يتوسع أبدًا هو أن كتابة المواصفات يدويًا بطيئة ومكلفة. ما بناه @wgrieskamp يدمر هذا الحاجز. → يتكامل Claude Code مع Move Prover عبر MCP → تُولّد الذكاء الاصطناعي المواصفات → يتحقق المُحقق منها رياضيًا → تُجرى حلقات تحسين حتى ينجح التحقق الجزء الممل يُؤتمت بينما يبقى الجزء الصارم صارمًا. @DecibelTrade هو الهدف المناسب لإثبات فعالية هذا النظام: مطابقة الأوامر، منطق الهامش، التصفية، أسعار التمويل. التحليل الكامل من @wgrieskamp يستحق وقتك 👇🏻