agentsclimarketplace
Sign in

Smart contract analysis

Skill a5c-ai/babysitter/library/specializations/security-research/skills/smart-contract-analysis

Ethereum and blockchain smart contract security analysisFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill smart-contract-analysis

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

SKILL.md

1.5 KB, 226 tokens by cl100k_base, as published. Nobody here has run it

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 ships with it: 1 file

590 B alongside SKILL.md

Keep looking

Skills are one crate of 325,949. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.