ソース情報
- リポジトリ
- 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で見る