소스 정보
- 저장소
- aibot88/sec_skill_store
- 최근 소스 활동
- 2026년 5월 27일 03:47
- 감지된 SKILL.md 언어
- 영어
- 스타
- 3
- 포크
- 0
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
파일 탐색기
2 개 파일SKILL.md 표시 중
SKILL.md
소스 지침 · 읽기 전용 미리보기- name
- Smart Contract Analysis Skill
- description
- Ethereum and blockchain smart contract security analysis
- allowed-tools
- ["Bash","Read","Write","Edit","Glob","Grep"]
# 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
GitHub에서 보기