Інструменти для агентів

sc-auditor

Навички агентів

Сервер MCP · Безпека · Solidity · Статичний аналіз

Аудитор безпеки смарт-контрактів для Claude Code та Codex CLI. Інтегрує Слізер, Aderyn, чекліст Cyfrin та знахідки Solodit. Методологія Map-Hunt-Attack із чотирма інструментами MCP для статичного аналізу та пошуку знахідок.

Пов'язані ресурси

Pashov Audit Group Skills

Навички Claude Code для безпеки та розробки на Solidity. solidity-auditor надає швидкий (зазвичай менше 5 хвилин) зворотний зв'язок щодо безпеки змін у Solidity під час розробки. Працює з Claude Code CLI, розширенням Claude для VSCode та Cursor.

Trail of Bits Skills Marketplace

Маркетплейс плагінів Claude Code від Trail of Bits, що надає навички для покращення робочих процесів аналізу безпеки, тестування та розробки за допомогою ШІ.

OpenZeppelin Skills

Навички агента для безпечної розробки смарт-контрактів за допомогою бібліотек ОупенЗеппелін Contracts, включаючи робочі процеси налаштування та оновлення для Solidity та інших екосистем.

Cyfrin solskill

Плагін Claude зі стандартами розробки на Solidity для коду виробничого рівня. Більш ретельний підхід до тестування, якості коду та чутливості смарт-контрактів. Встановлюється через маркетплейс Cyfrin. Від Патріка Коллінза (Patrick Collins) та команди Cyfrin.

SCV Scan

Навичка Claude Code, яка сканує кодові бази на Solidity на наявність вразливостей безпеки, використовуючи 36 унікальних типів вразливостей. Чотириетапний аудит: завантаження шпаргалки, синтаксична та семантична перевірка кодової бази, глибока валідація з еталонними файлами та звіт. Посилання з smart-contract-vulnerabilities.

QuillShield Security Skills

Навички ШІ-агента для аудиту безпеки смарт-контрактів. Десять плагінів, що охоплюють повторний вхід, оракули/флеш-кредити, проксі/оновлення, інваріанти стану, семантичні захисти та багато іншого. Методологія QuillShield для вразливостей, які пропускає традиційний статичний аналіз. Працює з Claude та Cursor.