مهارات Claude Code من Trail of Bits للبحث الأمني، اكتشاف الثغرات، وسير عمل التدقيق
سوق إضافات Claude Code من Trail of Bits يوفّر مهارات لتعزيز تحليل الأمان والاختبار وسير عمل التطوير بمساعدة الذكاء الاصطناعي. يمكن لـ Codex تحميل هذا السوق من خلال توافقه مع سوق Claude.
انظر أيضًا: claude-code-config · codex-config · skills-curated · claude-code-devcontainer · dropkit · coop
/plugin marketplace add trailofbits/skills
/plugin menu
يدعم Codex أسواق إضافات Claude مباشرةً، لذا لا يحتاج هذا المستودع إلى بيانات وصفية جانبية خاصة بـ Codex.
ثبّت السوق باستخدام:
codex plugin marketplace add trailofbits/skills
codex plugin list
codex plugin add <plugin-name>@trailofbits
استخدم ملف .claude-plugin/marketplace.json في هذا المستودع لعمليات الاستيراد إلى مساحة العمل.
المهارات التي تتضمن agents/openai.yaml تحتاج أيضًا إلى interface.display_name و
interface.short_description في ملف YAML ذلك؛ فالبيانات الوصفية للإضافة لا توفّرها.
بعد نشر إصلاح للبيانات الوصفية، زامِن المستودع مرة أخرى في سوق مساحة العمل
لديك لإعادة محاولة عمليات الاستيراد الفاشلة.
لإضافة السوق محليًا (مثلًا للاختبار أو التطوير)، انتقل إلى المجلد الأب لهذا المستودع:
cd /path/to/parent # e.g., if repo is at ~/projects/skills, be in ~/projects
/plugins marketplace add ./skills
| الإضافة | الوصف |
|---|---|
| building-secure-contracts | مجموعة أدوات أمان العقود الذكية مع ماسحات ثغرات لست سلاسل بلوكخين و5 مساعدين لإرشادات التطوير |
| entry-point-analyzer | تحديد نقاط الدخول المُغيِّرة للحالة في العقود الذكية لتدقيق الأمان |
| الإضافة | الوصف |
|---|---|
| agentic-actions-auditor | تدقيق سير عمل GitHub Actions بحثًا عن ثغرات أمان وكلاء الذكاء الاصطناعي |
| audit-context-building | فهم قاعدة الكود قبل البحث عن الأخطاء فيها، دالة واحدة في كل مرة |
| burpsuite-project-parser | البحث عن البيانات واستخراجها من ملفات مشاريع Burp Suite |
| c-review | مراجعة أمنية شاملة لكود C/C++، مع تحقق من التغطية مقابل تحليل للمصدر |
| differential-review | مراجعة تفاضلية تركّز على الأمان لتغييرات الكود مع تحليل سجل git |
| dimensional-analysis | إضافة تعليقات التحليل البُعدي إلى قواعد الكود لكشف عدم تطابق الوحدات وأخطاء الصيغ |
| fp-check | تحقق منهجي من الإيجابيات الكاذبة لتحليل ثغرات الأمان مع مراجعات بوابات إلزامية |
| insecure-defaults | سير عمل تدقيق متوازٍ للإعدادات الافتراضية غير الآمنة المفتوحة عند الفشل، مع مدقّق داحض لكل ملف مرشّح |
| rust-review | مراجعة أمنية شاملة لـ Rust تغطي حدود safe/unsafe، وأمان الذاكرة، والتزامن، وpanic-DoS، وFFI، وبيئة التشغيل غير المتزامنة مع مخرجات SARIF |
| semgrep-rule-creator | إنشاء قواعد Semgrep وتحسينها لكشف الثغرات المخصصة |
| semgrep-rule-variant-creator | نقل قواعد Semgrep الموجودة إلى لغات هدف جديدة مع تحقق قائم على الاختبار |
| sharp-edges | تحديد واجهات API المعرّضة للخطأ، والإعدادات الخطرة، وتصاميم الأخطاء الكامنة |
| static-analysis | مجموعة أدوات التحليل الساكن مع CodeQL وSemgrep وتحليل SARIF |
| supply-chain-risk-auditor | تدقيق تبعيات npm وPyPI وGo بحثًا عن تنبيهات مطابقة للإصدارات، ومشاريع مهجورة، وتركّز الناشرين، وسكربتات التثبيت |
| testing-handbook-skills | مهارات من Testing Handbook: أدوات fuzzing، والتحليل الساكن، وأدوات sanitizers، والتغطية |
| trailmark | تحليل رسم الكود البياني، وتقطيع سياق الوكلاء الفرعيين المحدود، ومخططات Mermaid، وفرز اختبار الطفرات، والتحقق من البروتوكولات |
| variant-analysis | العثور على ثغرات مشابهة عبر قواعد الكود باستخدام تحليل قائم على الأنماط |
| vulnerability-triage-brocards | فرز تقارير الثغرات باستخدام 7 بطاقات brocards لقبولها أو رفضها أو طلب مزيد من المعلومات قبل التحليل الأعمق |
| الإضافة | الوصف |
|---|---|
| yara-authoring | تأليف قواعد كشف YARA مع الفحص البرمجي، وتحليل الذرات، وأفضل الممارسات |
| الإضافة | الوصف |
|---|---|
| constant-time-analysis | كشف القنوات الجانبية الزمنية الناتجة عن المترجم في الكود التشفيري |
| mutation-testing | إعداد اختبار الطفرات، وتحليل الطفرات الناجية، والتحقيق في الأخطاء في الكود ضعيف الاختبار |
| post-patch-validation | مساعدة مؤلفي التصحيحات على إيجاد المتغيرات والانحدارات المفقودة، مع حالات فشل قابلة لإعادة الإنتاج وفجوات تحقق صريحة |
| property-based-testing | كتابة ومراجعة وفرز الاختبارات القائمة على الخصائص — Hypothesis وfast-check وproptest وEchidna أو Medusa لثوابت Solidity |
| spec-to-code-compliance | التحقق من مطابقة الكود للتوثيق الذي يحدده، عبر العقود وC/C++ والخدمات والبرمجيات الثابتة |
| writing-lean-proofs | كتابة براهين Lean 4 منظّمة وتصميم مكتبات Lean وفق أعراف Mathlib |
| zeroize-audit | كشف التصفير المفقود أو المُزال بواسطة المترجم للأسرار في C/C++ وRust |
| الإضافة | الوصف |
|---|---|
| dwarf-expert | تحليل معلومات تصحيح DWARF: تحليل DIEs والبحث فيها، والتحقق من السلامة، وكتابة كود تحليل DWARF |
| الإضافة | الوصف |
|---|---|
| firebase-apk-scanner | فحص تطبيقات Android APK بحثًا عن إعدادات Firebase الأمنية الخاطئة |