Agent skill · Security

Smart Contract Analysis Skill

Ethereum and blockchain smart contract security analysis

a5c-aigithub.com/a5c-aiGitHub ↗
claude-codecodexcan modify filesMIT
Install
npx skills add a5c-ai/babysitter --skill smart-contract-analysis --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 2
SKILL.md size: 1 KB
Bundled scripts: none
Allowed tools: -Bash-Read-Write-Edit-Glob-Grep
Path: library/specializations/security-research/skills/smart-contract-analysis/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 1,642
Language: JavaScript

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Smart Contract Analysis Skill ## Overview This skill provides Ethereum and blockchain smart contract security analysis capabilities. ## Capabilities - Execute Slither static analysis - Run Mythril symbolic execution - Analyze Solidity code patterns - Detect reentrancy vulnerabilities - Check for integer overflow - Generate Echidna fuzz tests - Support multiple EVM chains - Create formal verification specs ## Target Processes - smart-contract-auditing.js - security-tool-development.js ## Dependencies - Slither - Mythril - Echidna - Solidity compiler (solc) - Python 3.x - Node.js (for Hardhat/Foundry) ## Usage Context This skill is essential for: - Smart contract security audits - DeFi vulnerability research - Automated vulnerability detection - Fuzz testing smart contracts - Formal verification support ## Integration Notes - Supports Solidity and Vyper - Can analyze multiple EVM-compatible chains - Integrates with Hardhat and Foundry - Supports custom detector development - Can generate audit reports

What's inside
Steps it walks through
  1. Overview
  2. Capabilities
  3. Target Processes
  4. Dependencies
  5. Usage Context
  6. Integration Notes
Ships with 1 file
  • README.md
More from babysitter
All skills →
About this skill
What does the Smart Contract Analysis Skill skill do?

Ethereum and blockchain smart contract security analysis

How do I install it?

Run `npx skills add a5c-ai/babysitter --skill smart-contract-analysis --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going