analyzing-ethereum-smart-contract-vulnerabilities

analyzing-ethereum-smart-contract-vulnerabilities is a skill for Claude Code from mukul975/Anthropic-Cybersecurity-Skills. It costs 49 tokens per session (585 once invoked), scanned A, original, Apache-2.0.

A procedure for checking Solidity smart-contract code for security flaws with Slither and Mythril. Smart contracts are programs on Ethereum that can control digital assets after deployment.

In plain words
What is it for?
Use it to analyze contracts, review and prioritize findings, and produce security audit reports before deployment.
Why use it?
It helps find problems such as reentrancy, arithmetic errors, and weak access controls before the contract is deployed and becomes difficult to change.

Skill for Claude Code

Written for Claude Code: shipped in a Claude Code plugin.

Part of the cybersecurity-skills plugin — 56 skills shipped together

Good fit Use it to analyze contracts, review and prioritize findings, and produce security audit reports before deployment.

Compare 6 skills from other repositories ↓
Install with agentmods
npx agentmods add skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities
About the project

Anthropic Cybersecurity Skills is a library of structured cybersecurity procedures for AI agents, covering security domains and mappings to established security frameworks. It is for authorized security analysis, penetration testing, incident response, research, defense, and education across compatible AI platforms. The catalogue entries package parts of this library as agent skills, instructions, or a plugin.

mukul975/Anthropic-Cybersecurity-Skills · 32,631 stars · on GitHub · mahipal.engineer

Install

Getting it into your agent

One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.

Any agent
npx skills add mukul975/Anthropic-Cybersecurity-Skills --skill analyzing-ethereum-smart-contract-vulnerabilities
Clone the repo
git clone --depth 1 https://github.com/mukul975/Anthropic-Cybersecurity-Skills

Made for: Claude Code.

Or install cybersecurity-skills, the plugin that ships this one along with the rest of its 56 skills.

Wrote this? Show the measurements

A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.

agentmods badge for analyzing-ethereum-smart-contract-vulnerabilities

README.md
[![agentmods](https://agentmods.dev/badge/skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities/github.svg)](https://agentmods.dev/skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities)
Your own site
<a href="https://agentmods.dev/skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities"><img src="https://agentmods.dev/badge/skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities/github.svg" alt="Measured on agentmods" height="20"></a>

Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.

agentmods 80×15 button for analyzing-ethereum-smart-contract-vulnerabilities

Your own site · 80×15
<a href="https://agentmods.dev/skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities"><img src="https://agentmods.dev/badge/skills/mukul975/anthropic-cybersecurity-skills/analyzing-ethereum-smart-contract-vulnerabilities.svg" alt="Reviewed on agentmods" width="80" height="20"></a>
Per session 49 Skills are progressive disclosure: only the name and description are preloaded; the body loads when the skill is used.
When invoked 585 The whole file, excluding the scripts and references it only reads on demand.
Security scan A 0 findings. A grade says what 26 rules found in the file — not that it is safe. Third-party audits
  • Socket warn 7 Apr 2026
  • Snyk pass 7 Apr 2026
  • NVIDIA SkillSpector pass 7 Sept 2026
How audits are shown
Origin original No closer match found in the catalogue.
Token cost

What it costs to keep this loaded

Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.

ModelPer sessionOnce invoked
Fable 5.1 $0.00049 $0.00585
Opus 5 $0.00024 $0.00293
Sonnet 5 $0.00010 $0.00117
Haiku 4.5 $0.00005 $0.00059

Measured 12d ago against content hash 40c2f5b831e1, method: parsed. Prices are Anthropic first-party input rates as of 2026-09-11, from the pricing page.

Security

Grade A, and why

analyzing-ethereum-smart-contract-vulnerabilities scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 12d ago.

The scan reads SKILL.md. This mod also ships 1 executable file (scripts/agent.py), listed below but not scanned — reading those needs a real analyzer, not pattern matching.

A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.

Nothing flagged

None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.

Origin

Copies of this mod

7 near-identical copies found in the catalogue:

skills/analyzing-ethereum-smart-contract-vulnerabilities/SKILL.md · 72 lines

How it starts

The opening of the file, as written. The whole thing — 72 lines — stays where its author put it; the contents beside it link to each section on GitHub.

Analyzing Ethereum Smart Contract Vulnerabilities

Overview

Smart contract vulnerabilities have led to billions of dollars in losses across DeFi protocols. Unlike traditional software, deployed smart contracts are immutable and handle real financial assets, making pre-deployment security analysis critical. Slither performs fast static analysis using an intermediate representation to detect over 90 vulnerability patterns in seconds, while Mythril uses symbolic execution and SMT solving to discover complex execution path vulnerabilities like reentrancy and integer overflows. This skill covers running both tools against Solidity contracts, interpreting results, triaging findings by severity, and generating audit reports.

When to Use

  • When investigating security incidents that require analyzing ethereum smart contract vulnerabilities
  • When building detection rules or threat hunting queries for this domain
  • When SOC analysts need structured procedures for this analysis type
  • When validating security monitoring coverage for related attack techniques

Prerequisites

  • Python 3.10+ with pip
  • Slither (pip install slither-analyzer) and solc compiler
  • Mythril (pip install mythril) with solc-select for compiler version management
  • Solidity source code or compiled contract bytecode
  • Foundry or Hardhat development framework (optional, for project-level analysis)

Steps

Step 1: Run Slither Static Analysis

Execute Slither against the contract codebase to identify vulnerability patterns, optimization opportunities, and code quality issues using its 90+ built-in detectors.

Step 2: Run Mythril Symbolic Execution

Run Mythril deep analysis to explore execution paths and discover reentrancy, unchecked external calls, and arithmetic vulnerabilities that require path-sensitive analysis.

Step 3: Triage and Correlate Findings

Combine results from both tools, deduplicate findings, assess severity based on exploitability and financial impact, and filter false positives.

Read the full file on GitHub · 72 lines

Files

What ships with it

3 files beside SKILL.md in the same directory: the scripts, references and assets a skill reads on demand. Not counted in the per-session cost; read them before you install if any of them is executable.

Changes

What this file has done since we first saw it

Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.

  1. 12d ago First seen · 72 lines · 49 tokens per session scan A 40c2f5b831e1

Subscribe to this mod's changes

analyzing-ethereum-smart-contract-vulnerabilities is a skill published in the GitHub repository mukul975/Anthropic-Cybersecurity-Skills (32,631 stars, last pushed 12d ago), licensed Apache-2.0. It adds 49 tokens to every session and 585 once invoked, about $0.0002 per session on Opus 5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-30.

Related

Other skills, from other repositories

analyzing-ethereum-smart-contract-vulnerabilities

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

xalgorix/xalgorix · 49 tokens

analyzing-ethereum-smart-contract-vulnerabilities

Use when perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet. Use when performing static and symbolic analysis of solidity smart contracts using.

oyi77/1ai-skills · 64 tokens

analyzing-ethereum-smart-contract-vulnerabilities

A security-analysis guide for Solidity smart contracts, which are programs that run on the Ethereum blockchain. It uses Slither and Mythril to inspect contract code and execution paths for vulnerabilities.

killvxk/cybersecurity-skills-zh · 60 tokens

analyzing-ethereum-smart-contract-vulnerabilities

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

26zl/cybersec-toolkit · 49 tokens

analyzing-ethereum-smart-contract-vulnerabilities

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

plurigrid/asi · 49 tokens

analyzing-ethereum-smart-contract-vulnerabilities

Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.

autohandai/community-skills · 49 tokens