xiaoqimikko/async-http-client-checkEspace de travail IA auto-hébergé avec agents, compétences et outils (Gmail, Calendar) qui fonctionne entièrement avec vos propres clés API de…
swiftdevcollective/xcodeprojectsecurityUne application macOS pour analyser les fichiers de projet Xcode à la recherche de problèmes de sécurité potentiels.
gmh5225/evmbench-certora-agent-harnessHarnais d'agent itératif qui utilise des LLM et Certora Prover pour générer et affiner des spécifications CVL de contrats intelligents, en…
fauxrougee/smartscanner-sourceScanner de vulnérabilités web construit avec C++17 et Qt 6, doté d'une interface graphique, d'une CLI, d'un crawling configurable et de rapports…
rin449/bhpaiPlateforme d'analyse de malwares multi-format combinant un sandbox Windows furtif Ring-3, des analyseurs statiques PE/PDF, la récupération de clés de…
ylca0/idalib-cliCLI natif pour agent encapsulant IDA Pro IDALib pour une analyse binaire sans état avec sortie JSON : désassemblage, décompilation Hex-Rays, CFG,…
auditinfra-io/o1js-scanAnalyseur statique sans dépendances pour les bugs de solidité des circuits zk dans les zkApps o1js/Mina et les circuits Noir
vighnesh91/omnisec-hexMonorepo de sécurité local au navigateur avec six modules pour le triage mobile APK/IPA, le fuzzing DAST côté client, les annuaires OSINT, la…
vighnesh91/ipaforgeDependency-free Python CLI to unpack, inspect, edit, and rebuild iOS .ipa archives, converting plists and strings to XML while preserving Mach-O…
openbreach/canopCLI d'analyse statique qui scanne le code généré par IA à la recherche de vulnérabilités telles que l'injection SQL, la réflexion non sécurisée et…
youkyi/pki-toolboxBoîte à outils PKI côté client qui décode les artefacts X.509, CSR, chaîne, CRL, PKCS#7 et PKCS#12, visualise l'ASN.1, convertit les formats et…
off-by-1-labs/flawedArtefacts de type correctif avec défauts intégrés
xiaoqimikko/netty-resolver-dns-checkVérificateur statique hors ligne qui inspecte les jars Java packagés à la recherche de versions vulnérables de netty-resolver-dns et détecte si…
gmh5225/enigma-Réimplémentation en C++ du cœur analytique de Ghidra sans dépendances JVM, offrant une analyse binaire embarquable, les fondations Pcode/Sleigh et…
tamarin-prover/tamarin-proverOutil de vérification symbolique pour les protocoles de sécurité utilisant la réécriture de multiensembles et la résolution de contraintes afin de…
lkimuk/rearkOutil intelligent de rétro-ingénierie et d'analyse assistée par IA pour HarmonyOS NEXT (HAP/APP/ABC), Android (APK/AAB), iOS (IPA) et les binaires…
gavmor/x86-cpp-reversing-skillCompétence Claude Code pour la rétro-ingénierie de binaires C++ x86 32 bits little-endian (vtables, RTTI, récupération d'héritage)
shinthink/blitzstrikeServeur MCP regroupant une méthodologie de test d'intrusion à trois niveaux : reconnaissance de la surface d'attaque, analyse statique source-to-sink…
