
tamarin-prover
Символический инструмент верификации для протоколов безопасности, использующий перезапись мультимножеств и решение ограничений для доказательства…
Краткие редакционные обновления опубликованных инструментов кибербезопасности.

Символический инструмент верификации для протоколов безопасности, использующий перезапись мультимножеств и решение ограничений для доказательства…

Локальная AI-команда красных для безопасности веб-, API- и LLM-приложений. Рассуждения в стиле атакующего, выводы, подкреплённые доказательствами, и…

Автономные агенты ИИ для пентестинга — разведка в реальном времени, обнаружение уязвимостей и оркестрация эксплуатации. Go + TypeScript.

PEASS - Набор отличных скриптов для повышения привилегий (с цветами)

Самостоятельно размещаемая панель управления средой выполнения для ИИ-агентов. Наблюдайте, одобряйте через HITL или блокируйте вредоносные вызовы…

Weekly updated list of missing CVEs in nuclei templates official repository. Mainly built for bug bounty, but useful for penetration tests and…

Пассивный DNS-сервер, который обнаруживает открытые облачные хранилища (AWS S3, GCP, Azure) путем разрешения DNS-запросов, трассировки цепочек CNAME…

Зашифрованная одноранговая mesh-сеть VPN для удаленной мобильной криминалистики, обеспечивающая беспроводное получение данных через ADB и…

Интеллектуальная платформа анализа компонентов, использующая SBOM для выявления и снижения рисков в цепочке поставок программного обеспечения за счет…

Консоль DFIR-триажа для Windows-хостов, которая объединяет сбор артефактов, таймлайны с корреляцией по Sigma, сканирование YARA, проверку сокетов и…

Фреймворк для OSINT и разведки безопасности в домене, запускающий 26 параллельных модулей для DNS, портов, поддоменов, утекших учётных данных,…

🔒 Консолидирует и расширяет hosts-файлы из нескольких хорошо подобранных источников. Опционально можно выбрать расширения для порно, социальных…