binary-ninja-headless-mcp

Binary Ninja Headless MCP एक हेडलेस Binary Ninja सर्वर जो MCP मॉडल कॉन्टेक्स्ट प्रोटोकॉल बोलता है, जो AI एजेंटों को डीप रिवर्स-इंजीनियरिंग वर्कफ़्लो — डिसअसेंबली, IL, पैचिंग, टाइप्स, xrefs, और बहुत कुछ — तक पूर्ण पहुँच देता है, बिना GUI के। उसी Docker कंटेनर में चलाने के लिए डिज़ाइन किया गया है...

slither-mcp

Slither MCP Server خادم بروتوكول سياق النموذج MCP يوفر قدرات تحليل ثابت للعقود الذكية بلغة Solidity باستخدام Slither. نظرة عامة يغلف خادم MCP هذا وظائف التحليل الثابت لـ Slither، مما يجعلها قابلة للوصول عبر بروتوكول سياق النموذج. يمكنه تحليل مشاريع Solidity Foundry، Hardhat، إلخ وإنشاء بيانات وصف...

heaphopper

heaphopper HeapHopper is a bounded model checking framework for Heap-implementations. Overview Setup sudo apt update && sudo apt install build-essential python3-dev virtualenvwrapper git clone https://github.com/angr/heaphopper.git && cd ./heaphopper mkvirtualenv -ppython3 heaphopper pip install ...

heaphopper

heaphopper HeapHopper हीप-इम्प्लीमेंटेशन के लिए एक बाउंडेड मॉडल चेकिंग फ्रेमवर्क है। अवलोकन सेटअप sudo apt update && sudo apt install build-essential python3-dev virtualenvwrapper git clone https://github.com/angr/heaphopper.git && cd ./heaphopper mkvirtualenv -ppython3 heaphopper pip install -e...

kube-monkey

kube-monkey kube-monkey هو تطبيق لـ Chaos Monkey من Netflix لعناقيد Kubernetes. يقوم بحذف الـ pods بشكل عشوائي في العنقود، مما يشجع ويؤكد تطوير خدمات قادرة على تحمل الأعطال. تقوم التطبيقات بالاشتراك عبر label، وتحدث عمليات الإنهاء خلال الساعات والأيام التي تختارها، ووضع dry run هو الوضع الافتراضي...

PROMPTPurify

برومبت بيوري جدار حماية صغير لحقن الموجهات prompt-injection لتطبيقات الدردشة مع نماذج اللغة الكبيرة. 14 ميجابايت. وحدة معالجة مركزية فقط CPU-only. درع يمكنك وضعه بين إدخال المستخدم ونموذج اللغة الكبير الخاص بك — يعمل على نفس الحاسوب، بدون وحدة معالجة رسومية، بدون واجهة برمجة تطبيقات، بدون خدمة...

modelaudit

ModelAudit Sécurisez vos modèles d'IA avant le déploiement. Scanner statique qui détecte le code malveillant, les indicateurs potentiels de porte dérobée et les vulnérabilités de sécurité dans les fichiers de modèles ML — sans jamais les charger ni les exécuter. Documentation complète | Exemples...

guac

GUAC: Graph for Understanding Artifact Composition Note: GUAC is under active development - if you are interested in contributing, please look at contributor guide. GUAC is an OpenSSF incubating project under the Supply Chain Integrity WG. Graph for Understanding Artifact Composition GUAC...

avpass

AVPASS AVPASS एक उपकरण है जो Android मैलवेयर डिटेक्शन सिस्टम यानी एंटीवायरस सॉफ़्टवेयर के डिटेक्शन मॉडल को लीक करने और लीक की गई जानकारी के साथ APK ऑब्सफस्केशन तकनीकों का उपयोग करके उनकी डिटेक्शन लॉजिक को बायपास करने के लिए बनाया गया है। AVPASS डिटेक्शन सिस्टम द्वारा उपयोग की जाने वाली डिटेक्शन...

VulnLLM-R

VulnLLM-R : LLM de raisonnement spécialisé pour la détection de vulnérabilités Article : arXiv:2512.07533 Code et données : GitHub Démo : Démo web Modèle : Modèle 7B Environnement et jeu de données 🛠️ Créer l'environnement Installez Git LFS et clonez le dépôt les fichiers LFS sont récupérés...

riscv-isa-sim

Spike RISC-V ISA सिम्युलेटर परिचय Spike, RISC-V ISA सिम्युलेटर, एक या अधिक RISC-V हार्ट्स का एक कार्यात्मक मॉडल लागू करता है। इसका नाम उस स्वर्णिम कील के नाम पर रखा गया है जिसका उपयोग अमेरिकी ट्रांसकॉन्टिनेंटल रेलवे के पूरा होने का जश्न मनाने के लिए किया गया था। Spike निम्नलिखित RISC-V ISA सुविधा...

privacy-parser

OpenAI Privacy Parser أصدرت OpenAI Privacy Filter — وهو نموذج يُخفي المعلومات الشخصية القابلة للتحديد PII في النصوص. يستخدمه المدافعون حتى لا تتسرب البيانات. لكن لكل دفاع وجهٌ آخر. المهاجمون يحتاجون أيضًا إلى PII. من السجلات، والتفريغات، ودلاء S3 المهجورة، وعلب البريد المسروقة. نفس المهمة: العثور...

vulnerable-mcp-servers-lab

مختبر خوادم MCP الهشّة يحتوي هذا المستودع على تطبيقات هشّة عمداً لخوادم Model Context Protocol MCP محلية وبعيدة على حد سواء. يقع كل خادم في مجلده الخاص ويتضمن ملف README.md مخصصاً بتفاصيل كاملة حول ما يفعله ، كيفية تشغيله ، وكيفية إظهار/استغلال الثغرة. لا تشغّل أيّاً من هذا خارج بيئة مختبر خاضعة...

pyghidra-mcp

PyGhidra-MCP - Ghidra Model Context Protocol Server Overview pyghidra-mcp is a command-line Model Context Protocol MCP server that brings the full analytical power of Ghidra, a robust software reverse engineering SRE suite, into the world of intelligent agents and LLM-based tooling. It bridges...

ai-kill-chain

سلسلة القتل السيبراني الموسّعة لتهديدات عصر الذكاء الاصطناعي تحديث لسلسلة القتل السيبراني من Lockheed Martin للمدافعين العاملين ضد هجمات LLM والذكاء الاصطناعي الوكيلي. يضيف مرحلة ما قبل الهجوم لاختراق سلسلة توريد النموذج. يضيف تقنيات فرعية خاصة بالذكاء الاصطناعي لكل مرحلة من المراحل السبع الأصلية...

MCP Inspector < 0.14.0 UnauthenticatedRemote Code Execution

The MCP inspector is a developer tool for testing and debugging MCP servers. Versions of MCP Inspector below 0.14.1 are vulnerable to remote code execution due to lack of authentication between the Inspector client and proxy, allowing unauthenticated requests to launch MCP commands over stdio. id...

offensive-ai-compilation

تجميع الذكاء الاصطناعي الهجومي قائمة منسقة من الموارد المفيدة التي تغطي الذكاء الاصطناعي الهجومي. 📁 المحتويات 📁 🚫 إساءة الاستخدام 🚫 🧠 التعلم الآلي الخصامي 🧠 ⚡ الهجمات ⚡ 🔒 الاستخراج 🔒 ⚠️ القيود ⚠️ 🛡️ الإجراءات الدفاعية 🛡️ 🔗 روابط مفيدة 🔗 ⬅️ العكس أو الاستدلال ⬅️ 🛡️ الإجراءات الدفاعية 🛡️ 🔗 روابط...

Agentic-SOC-Simulation

🛡️ Agentic SOC Parallel Simulation ASPS: स्वायत्त सुरक्षा संचालन समानांतर सिमुलेशन केंद्र सुरक्षा संचालन के भविष्य को पुनर्परिभाषित करना: फुल-स्टैक SOC समानांतर सिमुलेशन, बहु-एजेंट सहयोग, और डेटा-संचालित स्वायत्त रक्षा 🇨🇳 चीनी दस्तावेज़ चीनी संस्करण यह प्रोजेक्ट एक अत्याधुनिक Agentic SOC समानांतर...

choronzon

Choronzon - أداة اختبار تطورية قائمة على المعرفة مقدمة تهدف هذه الوثيقة إلى شرح النظرية وراء Choronzon بإيجاز. علاوة على ذلك، فهي تقدم تفاصيل حول مكوناته الداخلية وكيف يمكن للمستخدم توسيع Choronzon لتلبية متطلبات جديدة. تم تقديم نظرة عامة على بنية Choronzon لأول مرة في مؤتمر ZeroNights 2015. كما...

inspect_petri

Inspect Petri Inspect Petri में आपका स्वागत है, यह एक ऑडिटिंग एजेंट है जो भाषा मॉडल के साथ स्वचालित निगरानी और इंटरैक्शन को सक्षम बनाता है, ताकि संभावित अलाइनमेंट समस्याओं, रिवॉर्ड हैकिंग और अन्य चिंताजनक व्यवहारों का पता लगाया जा सके। Petri आपको विशिष्ट अलाइनमेंट परिकल्पनाओं को एंड-टू-एंड तेजी स...