اختر وجه أوامرك
يبقى الكود الخاص بك على جهاز الكمبيوتر ولا يغادره إلا إذا اخترت ذلك. تُرسل أوامرك فقط إلى نقطة نهاية النموذج الذي تختاره؛ مع نموذج محلي لا يغادر شيء جهاز الكمبيوتر، ومع نموذج سحابي يتم إرسال نص الملف إلى ذلك المزود.
المنتج
وكيل تدقيق عقود solidity الذكية
01
Keylatch هو وكيل مستقل لتدقيق عقود solidity الذكية على جهاز Windows الخاص بك. يقرأ الكود، يشغل الاختبارات، ويسجل النتائج التي يقررها.
يشغل أدواتك
ينفذ الماسح الخاص بك ويعرض رمز الخروج الفعلي.
يظهر الفروقات
يظهر كل تعديل كفروقات يمكنك قبولها أو رفضها.
الميزات
- الملفاتقراءة، كتابة، تعديل، حذف، وسرد الملفات في مجلد العمل الخاص بك.
- Shellيشغل أوامر البناء والاختبار الخاصة بك مع رموز الخروج الفعلية.
- الويبيبحث في الويب أو يقرأ صفحة وثائق رسمية واحدة.
- لقطات الشاشة والصوريقرأ النص من لقطات الشاشة أو يولد ملفات الصور.
- التنسيقيشغل وكلاء فرعيين متوازيين أو يرسل خطوات صعبة إلى نماذج أكبر.
- أوضاع الموافقةAuto-run، Ask first، أو Plan only لتحكمك.
- جدولةيشغل أوامرك في جدول زمني دون مراقبتك.
- النماذجاستخدم مزود سحابي، نموذج محلي، أو النموذج المدمج.
كيف يعمل
يجد الوكيل الملفات، يقرأ الكود، ويشرف على فحوصاتك.
راجع العقد بحثًا عن عيوب إعادة الدخول والتحكم في الوصول.
- list_dir
.3 ملفات - read_file
Token.solقُربت 120 سطرًا - grep
external call5 تطابقات - Shell
your test commandخروج 0 - write_file
findings-log.txtتم الحفظ
في انتظار موافقتك قبل الانتقال للخطوة التاليةرفضقبول
دليل الاستخدام
العثور على العيوب
يستخدم Keylatch list_dir و glob للعثور على ملفات العقد الخاصة بك، ويستخدم read_file لقراءة الكود حتى تتمكن من مراجعته بأمان. يجد grep كل استدعاء خارجي وفحص وصول عبر بنية دليل المشروع. تظهر write_file و edit_file الفروقات في Ask first قبل قبولك. يشغل Shell أمر الاختبار الخاص بك وأمر الفحص الثابت على جهاز الكمبيوتر الخاص بك. يقرأ web_search وثائق Solidity الرسمية للتحقق من أحدث المعايير. يستخدم هذا التدقيق لعقود solidity الذكية ocr لقراءة جدول من لقطة شاشة. يتم التعامل مع تصفية الإيجابيات الكاذبة للذكاء الاصطناعي في عمليات التدقيق من خلال التأكيد اليدوي.
تشغيل الاختبارات
يستخدم الوكيل grep للعثور على كل استدعاء خارجي وتغيير حالة عبر المشروع، لذا يعرف بالضبط أين يبحث عن المشكلات ويخطط للمراجعة. راجع الخطة. يستخدم read_file لقراءة عقد و list_dir للعثور على الملفات. يوضح مثال تدقيق العقد الذكي كيف تكتب write_file و edit_file ملاحظات النتائج. تراجع الخطة في Plan only قبل تشغيل أي شيء. يشغل Shell أمر الاختبار الخاص بك ويحفظ الإخراج في ملف نصي. يقرأ web_search و http_get وثائق Solidity الرسمية للمرجعية. الخطوة التالية لتدقيق العقد الذكي هي تأكيد النتائج باختبار محلي.
ما لا يفعله Keylatch
Keylatch ليس خدمة مستضافة أو ملحقًا؛ هو مخصص فقط لملفاتك الخاصة، جهاز الكمبيوتر الخاص بك والخوادم التي تخول لك استخدامها - أنت تحتفظ بالعمل داخلها. لا يفرض الوكيل النطاق؛ Shell و web و SSH ليست مقيدة بالمجلدات. لا يوجد ضمان بأن الكود أو الفحوصات أو التحليلات صحيحة. يمكن أن يبلغ الوكيل عن إيجابيات كاذبة، لذا يؤكد الشخص أو يتجاهل كل نتيجة. يتطلب الانتقال إلى ما هو أبعد من التحليل الثابت في سير عمل التدقيق تحققًا دقيقًا.
