OpenSkillIndex← back to search
claude-codesecurity

Babysitter Smart Contract Analysis Skill

Ethereum and blockchain smart contract security analysis

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/security-research/skills/smart-contract-analysis" ~/.claude/skills/a5c-ai-babysitter-smart-contract-analysis-skill && rm -rf "$T"
manifest: library/specializations/security-research/skills/smart-contract-analysis/SKILL.md
tags
#smart-contract-auditing#blockchain-security#solidity-analysis#fuzz-testing#formal-verification
source 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