Smart Contract Analysis Skill

From babysitter

411

Description

Ethereum and blockchain smart contract security analysis

AI Summary

Analyzes Ethereum smart contracts for security vulnerabilities using static analysis and symbolic execution tools.

Install

Run in your terminal

npx claudepluginhub a5c-ai/babysitter

Tool Access

This skill is limited to using the following tools:

BashReadWriteEditGlobGrep

Supporting Assets

View in Repository

README.md

Skill Content

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

Links

GitHub Stats

21 forks

Updated 1 month ago

Actions

Similar Skills

prompt-lookup

Activates when the user asks about AI prompts, needs prompt templates, wants to search for prompts, or mentions prompts.chat. Use for discovering, retrieving, and improving prompts.

prompts.chat

151.0k

skill-lookup

Search, retrieve, and install Agent Skills from the prompts.chat registry using MCP tools. Use when the user asks to find skills, browse skill catalogs, install a skill for Claude, or extend Claude's capabilities with reusable AI agent components.

prompts.chat

151.0k

Agent Development

6 files

This skill should be used when the user asks to "create an agent", "add an agent", "write a subagent", "agent frontmatter", "when to use description", "agent examples", "agent tools", "agent colors", "autonomous agent", or needs guidance on agent structure, system prompts, triggering conditions, or agent development best practices for Claude Code plugins.

plugin-dev

75.3k