mantis
مجموعة أدوات وكيل الذكاء الاصطناعي للعثور على الثغرات الأمنية في قواعد الكود، وإعادة إنتاجها، وتصحيحها بشكل مستقل.
مجموعة أدوات وحدوية ومتوافقة مع مختلف التقنيات لوكلاء البرمجة بالذكاء الاصطناعي للعثور على ثغرات الكود وإعادة إنتاجها وتصحيحها.
مانティ스 (Mantis) هي مجموعة أدوات محمولة توفر مهارات وحزام مرجعي ADK لوكلاء البرمجة بالذكاء الاصطناعي للتعامل بشكل مستقل مع المراجعات الأمنية، ونمذجة التهديدات، والتصحيح. وهي مصممة لمحترفي الأمان والمطورين الذين يعملون في بيئات معزولة ويرغبون في تنسيق نماذج الذكاء الاصطناعي لأبحاث الثغرات الأمنية.
ما هو
تحمل مجموعة الأدوات المهارات عند الطلب — من نمذجة التهديدات والأبحاث إلى مراجعة الكود، والتصحيح، وإعداد التقارير — باستخدام حزام مرجعي ADK لتشغيل خطوط الأنابيب. وهي تبني مؤشرات كود دلالية، وتنشئ فرضيات بحثية، وتتحقق استاتيكياً من صلاحية الإنتاج، وتحاول إعادة إنتاج الاستغلال، وتستخدم حلقة تنافسية للتحقق من التصحيحات.
لمن هو
وهي تناسب مهندسي الأمان والمطورين الذين يرتاحون لتشغيل وكلاء الذكاء الاصطناعي المستقلين وخطوط الأنابيب المعزولة لعمليات تدقيق الكود العميقة. وهي لا تناسب أي شخص يبحث عن بوابة حظر CI/CD جاهزة للإنتاج فوراً، حيث تظل ميزات فحص طلبات السحب غير مُختبرة مقابل المشاريع الحية.
أهم الميزات
نمذجة التهديدات المستقلة
تنشئ تلقائياً نماذج التهديدات وتبني مؤشرات دلالية للتنقل الفعال في الكود.
إعادة إنتاج الاستغلال
تُعيد إنتاج الثغرات من خلال التخمينات الاستاتيكية، أو اختبارات الوحدة، أو تشغيل خوادم محاكية.
حلقة التصحيح التنافسية
تصحح الثغرات المكتشفة وتُشغل حلقة تحقق تنافسية لضمان ثبات الإصلاحات.
توليف رسم البيان البحثي
تصمم طոبولوجيات رسوم بيانية مخصصة للوكلاء أثناء الطيران بناءً على أهداف محددة بلغة بسيطة.
جاهز للعمل في 3 خطوات
حكمنا الصادق
ما يميّزه
- تتضمن مهارات وحدوية لدورة الحياة بأكملها من نمذجة التهديدات إلى التصحيح
- تدعم استمرارية المعرفة المدعومة بـ SQLite عبر عمليات متوازية متعددة
- تسمح بتوليف رسم البيان البحثي الديناميكي لأهداف المراجعة الأمنية المخصصة
- تتميز بقواعد معايرة المخاطر لمكافحة تضخم خطورة LLM
أين يقصّر
- تتطلب عزلاً صارماً في بيئة آمنة (sandbox) لمنع الإجراءات المدمرة غير المتوقعة من قبل الوكلاء المستقلين
- عمليات فحص طلبات السحب وإجراءات GitHub المرتبطة بها غير مُختبرة تماماً من البداية إلى النهاية
- تتطلب تحققا يدويًا دقيقًا لجميع النتائج المُنشأة بواسطة الذكاء الاصطناعي من قبل خبير أمني بشري
- يمكن أن تتراكم تكاليف إنفاق الرموز وAPI بسرعة أثناء حملات الفحص المتوازية غير monitored
التسعير والرخصة
مانتیس (Mantis) مجانية بموجب ترخيص open source الخاص بها، ولكن تشغيلها يتكبد تكاليف API لننماذج اللغات المتقدمة مثل Gemini اعتماداً على حجم الاستخدام الخاص بك واستهلاك الرموز (tokens).
وظائف للناطقين بالعربية
879 وظيفة مفتوحة عن بعد في تدريب الذكاء الاصطناعي، آخر تحديث ١٥ نوفمبر ٢٠٢٦؛ أجر معظمها $20–$175 في الساعة. منها 2 وظائف تطلب متحدثين بالعربية. يعرضها ذكائي مجانًا، والتقديم يتم على منصة جهة التوظيف.
البدائل
أدوات الذكاء الاصطناعي المُراجَعة هذه تؤدي المهمة فوراً — من دليلنا المُقيَّم.
استخدمه، أو دعنا نُعِدّه لك
الأسئلة الشائعة
هل يمكنني تشغيل Mantis على أنظمة الإنتاج؟
لا. تقوم Mantis بتنفيذ كود مُنشأ بشكل مستقل قد يكون غير مستقر أو ينفذ إجراءات غير متوقعة، ويجب تشغيلها فقط في بيئات معزولة ومقيدة.
هل نتائج الذكاء الاصطناعي مضمونة لتكون صحيحة؟
لا. نماذج الذكاء الاصطناعي غير حتمية ويمكنها هلوسة النتائج أو إنشاء تصحيحات غير صحيحة، مما يعني أنه يجب التحقق يدوياً من جميع النتائج بواسطة خبير أمني.
كيف تتعامل Mantis مع حدود الميزانية أثناء عمليات الفحص الطويلة؟
يمكنك تعيين حد أقصى صارم لإنفاق الرموز باستخدام علامات مثل --max-tokens أو تشغيل الحملات بدون سقف ميزانية باستخدام --no-budget.
