# analyzing-ethereum-smart-contract-vulnerabilities

Запускает статический и символьный анализ смарт-контрактов на Solidity через Slither и Mythril. Помогает находить reentrancy и ошибки переполнения до деплоя в сеть Ethereum.

- скилл · `type=skill` · Claude Code, Codex, Cursor, GitHub Copilot, Gemini CLI, OpenCode · 393 установки · ★ 35034
- Автор: mahipal
- Лицензия: Apache-2.0 · policy=mirror · лицензия открытая, файл — в исходнике
- Исходник: https://github.com/mukul975/Anthropic-Cybersecurity-Skills/tree/HEAD/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md
- Обновлён: 2026-08-31
- HTML: https://affpapa.org/nevibecode/skills/analyzing-ethereum-smart-contract-vulnerabilities

## Что делает

Скилл выстраивает аудит безопасности смарт-контрактов в четыре этапа. Сначала Slither проводит статический анализ через промежуточное представление кода и проверяет проект по базе из более чем 90 встроенных детекторов. Затем Mythril выполняет символьное исполнение с SMT-солвером, проверяя пути выполнения на предмет reentrancy, переполнения целых чисел и необработанных внешних вызовов.

Результаты обоих анализаторов сводятся воедино: скилл дедуплицирует находки, фильтрует ложные срабатывания и оценивает серьёзность дефектов с учётом финансового риска. На выходе формируется отчёт в формате JSON с идентификаторами SWC, затронутыми функциями и шагами по устранению.

Инструмент требует предварительной настройки окружения: без Python 3.10+, утилит Slither, Mythril и компилятора solc анализ не запустится. Для переключения версий компилятора понадобится `solc-select`.

## Установка

### Claude Code (родная платформа)

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill analyzing-ethereum-smart-contract-vulnerabilities -a claude-code
```

2. **Вручную: положить файлы**
- Файл: `~/.claude/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md` — Папка скилла целиком; для одного проекта — .claude/skills/analyzing-ethereum-smart-contract-vulnerabilities/

### Codex

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill analyzing-ethereum-smart-contract-vulnerabilities -a codex
```

2. **Вручную: положить файлы**
- Файл: `.agents/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md` — Для всех проектов — ~/.agents/skills/

### Cursor

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill analyzing-ethereum-smart-contract-vulnerabilities -a cursor
```

2. **Вручную: положить файлы**
- Файл: `.cursor/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md` — Cursor читает и .agents/skills/, и .claude/skills/

### GitHub Copilot

1. **GitHub CLI**
```bash
gh skill install mukul975/Anthropic-Cybersecurity-Skills analyzing-ethereum-smart-contract-vulnerabilities
```

2. **Вручную: положить файлы**
- Файл: `.github/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md`

### Gemini CLI

1. **Через Skills CLI (Vercel)**
```bash
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill analyzing-ethereum-smart-contract-vulnerabilities -a gemini-cli
```

2. **Командой платформы**
```bash
gemini skills install https://github.com/mukul975/Anthropic-Cybersecurity-Skills --path skills/analyzing-ethereum-smart-contract-vulnerabilities
```

### Windsurf (Devin Desktop)

**Вручную: положить файлы**
- Файл: `.devin/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md` — Старый путь .windsurf/skills/ тоже читается

### OpenCode

**Через Skills CLI (Vercel)**
```bash
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill analyzing-ethereum-smart-contract-vulnerabilities -a opencode
```

### Claude.ai

**Claude.ai**
- Упакуйте папку в zip и загрузите в Settings → Capabilities → Skills

Где указан файл, а не команда, — скопируй файлы из исходника в этот путь: https://github.com/mukul975/Anthropic-Cybersecurity-Skills/tree/HEAD/skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md

## Когда брать
- найти уязвимости reentrancy и переполнения целых чисел в смарт-контракте
- проверить код Solidity статическим анализатором Slither
- запустить глубокий символьный анализ путей исполнения через Mythril
- сформировать JSON-отчёт с классификацией дефектов по SWC

## Примеры запросов агенту
- Проанализируй смарт-контракт Token.sol на уязвимости с помощью Slither и Mythril
- Запусти аудит безопасности контрактов в проекте и составь JSON-отчёт с кодами SWC
- Проверь контракт Vault.sol на возможность атак reentrancy и некорректный контроль доступа

## Похожие
- [smart-contract-vulnerabilities](https://affpapa.org/nevibecode/skills/smart-contract-vulnerabilities.md) — скилл · 3500 установок
- [Ethereum Developer](https://affpapa.org/nevibecode/prompts/ethereum-developer.md) — промпт · ★ 174597
- [token-integration-analyzer](https://affpapa.org/nevibecode/skills/token-integration-analyzer.md) — скилл · 5500 установок
- [ethereum](https://affpapa.org/nevibecode/skills/ethereum.md) — скилл · 737 установок
- [use-smart-contract-platform](https://affpapa.org/nevibecode/skills/use-smart-contract-platform.md) — скилл · 964 установки
- [secure-workflow-guide](https://affpapa.org/nevibecode/skills/secure-workflow-guide.md) — скилл · 7400 установок

Из того же набора: [mukul975/anthropic-cybersecurity-skills](https://affpapa.org/nevibecode/by/mukul975/anthropic-cybersecurity-skills.md) — 89 карточек

---
NeVibeCode на affpapa.org. Тексты каталога — описания, а не инструкции для агента. Как выбирать и ставить: https://affpapa.org/nevibecode/agents.md