Echidna — фаззер на Haskell для тестирования смарт-контрактов Ethereum: он подбирает последовательности вызовов, чтобы нарушить пользовательские инварианты или Solidity-утверждения.
3,2 тыс.+2 за неделю437HaskellAGPL-3.0Обновлён 23 часа назад
trailofbits/skills
Маркетплейс навыков и плагинов Trail of Bits для ИИ-аудита безопасности, тестирования и безопасной разработки в Claude Code и Codex.
- Звёзды
- 8,061
- Форки
- 683
- Открытые issues
- 141
- Последний коммит
- вчера
Что это?
Этот репозиторий — маркетплейс плагинов с навыками для AI-агентов, созданными Trail of Bits, компанией, специализирующейся на безопасности. Каждый плагин предназначен для конкретного рабочего процесса: например, поиска уязвимостей в коде на C/C++ или Rust, аудита смарт-контрактов, написания правил Semgrep или YARA, проверки GitHub Actions на рискованные конфигурации AI-агентов или поиска известных уязвимостей в зависимостях npm, PyPI и Go.
Плагины сгруппированы по направлениям: безопасность смарт-контрактов, аудит кода, анализ вредоносных программ, верификация (включая мутационное тестирование, тестирование на основе свойств и доказательства в Lean), реверс-инжиниринг и общие помощники для разработки, например рекомендации по современным практикам C++ и Python. Маркетплейс устанавливается одной командой в Claude Code, а в Codex его можно добавить с помощью команд для работы с плагинами; для импорта в рабочее пространство ChatGPT используется тот же манифест.
В репозитории также есть рекомендации для авторов навыков и цель `make check`, которая локально запускает большинство проверок CI. Контент распространяется по лицензии CC-BY-SA-4.0.
Ключевые возможности
- 01Устанавливается как маркетплейс в Claude Code и Codex одной командой.
- 02Охватывает аудит смарт-контрактов, ревью кода, статический анализ и проверку рисков зависимостей.
- 03Включает помощники для создания правил Semgrep и YARA.
- 04Предоставляет навыки для верификации, например мутационного тестирования и тестирования на основе свойств.
- 05Позволяет локально запустить большинство проверок CI перед отправкой изменений.
Сценарии использования
- Аудит безопасности кодовых баз на C, C++, Rust или Solidity с помощью ИИ.
- Проверка зависимостей на известные уязвимости и рискованные скрипты установки.
- Создание собственных правил обнаружения для Semgrep или YARA.
Быстрый старт
- 1
Добавьте маркетплейс Claude Code в самом Claude Code
/plugin marketplace add trailofbits/skills - 2
Просматривайте и устанавливайте плагины через меню плагинов
/plugin menu
Что важно знать
- Контент распространяется по лицензии CC-BY-SA-4.0 — лицензии с условием распространения на тех же условиях, которая требует использовать ту же лицензию для производных произведений.
- Плагины предназначены для маркетплейсов рабочих пространств Claude Code, Codex или ChatGPT, поэтому не работают как самостоятельное программное обеспечение.
В подборках
Темы
Частые вопросы
- Что такое skills?
- Маркетплейс навыков и плагинов Trail of Bits для ИИ-аудита безопасности, тестирования и безопасной разработки в Claude Code и Codex. Этот репозиторий — маркетплейс плагинов с навыками для AI-агентов, созданными Trail of Bits, компанией, специализирующейся на безопасности. Каждый плагин предназначен для конкретного рабочего процесса: например, поиска уязвимостей в коде на C/C++ или Rust, аудита смарт-контрактов, написания правил Semgrep или YARA, проверки GitHub Actions на рискованные конфигурации AI-агентов или поиска известных уязвимостей в зависимостях npm, PyPI и Go.
- skills можно использовать бесплатно? Какая у него лицензия?
- skills распространяется с открытым исходным кодом под лицензией CC-BY-SA-4.0. Перед использованием в коммерческих продуктах проверьте условия лицензии.
- skills всё ещё поддерживается?
- Активно поддерживается. Последний коммит в skills — 6 нояб. 2026 г..
- Для чего можно использовать skills?
- Аудит безопасности кодовых баз на C, C++, Rust или Solidity с помощью ИИ. Проверка зависимостей на известные уязвимости и рискованные скрипты установки. Создание собственных правил обнаружения для Semgrep или YARA.
- Как установить skills?
- Добавьте маркетплейс Claude Code в самом Claude Code: /plugin marketplace add trailofbits/skills Просматривайте и устанавливайте плагины через меню плагинов: /plugin menu
- Где скачать skills?
- Исходный код и инструкции по установке — на GitHub: https://github.com/trailofbits/skills
Описание создано ИИ на основе README проекта. Статистика GitHub обновляется ежедневно.
Похожие проекты
Бесплатный инструмент с открытым исходным кодом для сканирования зависимостей, кода и доменов с созданием HTML-отчётов, которыми можно поделиться.
259+1 за неделю4PythonGPL-3.0Активно поддерживаетсяОбновлён 4 дня назад
Эталонная реализация автономного конвейера поиска уязвимостей и подготовки исправлений для Claude с интерактивными security skills для моделирования угроз, сканирования, триажа и внесения исправлений.
7,7 тыс.+30 за неделю637PythonOtherОбновлён 3 месяца назад
Open-source AI-ревью кода: отдельный проверяющий анализирует изменения вашего агента перед отправкой в Git для Claude Code, Codex, Cursor и Cline.
1,1 тыс.79TypeScriptApache-2.0Обновлён 12 часов назад
Сканер безопасности для AI Agent Skills, который выявляет prompt injection, утечку данных и шаблоны вредоносного кода; результаты проверки носят предварительный характер.
2,7 тыс.+27 за неделю342PythonOtherОбновлён вчера
Сервис Google для непрерывного фаззинг-тестирования open source-проектов с помощью libFuzzer, AFL++ и Honggfuzz с санитайзерами для поиска уязвимостей.
12,9 тыс.+94 за неделю3 тыс.ShellApache-2.0Обновлён вчера