سمارٹ کنٹریکٹ سیکیورٹی میں معاشی عدم توازن ہمیشہ بہت کڑا رہا ہے۔ ایک حملہ آور ایک API کال خرچ کرتا ہے جبکہ ایک دفاعی طرف ایک انجینئر کا ہفتہ خرچ کرتا ہے۔ فرمولر ویریفیکیشن ہمیشہ نظری طور پر درست جواب تھا۔ اس کا کبھی بڑھنے کا سبب یہ تھا کہ ہاتھ سے تفصیلات لکھنا آہستہ اور مہنگا ہے۔ جو @wgrieskamp نے بنایا، وہ اس رکاوٹ کو ختم کر دیتا ہے۔ → Claude Code MCP کے ذریعے Move Prover سے جُڑتا ہے → AI تفصیلات پیدا کرتا ہے → پروور انہیں ریاضیاتی طور پر چیک کرتا ہے → جب تک تصدیق کامیاب نہ ہو جائے، ترقی کے حلقوں کو دہرایا جاتا ہے تھکاوٹ والے حصے کو آٹومیٹ کر دیا جاتا ہے جبکہ سخت اصولوں والا حصہ سخت رہتا ہے۔ @DecibelTrade اس بات کا ثبوت دینے کے لیے صحیح ہدف ہے: آرڈر میچنگ، مارجن منطق، لیکویڈیشن، فنڈنگ ریٹس۔ @wgrieskamp کا مکمل تفصیلی جائزہ آپ کے وقت کے قابل ہے 👇🏻