Agent skill

mythril-symbolic

Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.

a5c-aigithub.com/a5c-aiGitHub ↗
claude-codecodexcan modify filesMIT
Install
npx skills add a5c-ai/babysitter --skill mythril-symbolic --agent claude-code

Same command for any agent — swap --agent for codex, cursor, copilot.

Facts
Files in the skill folder: 2
SKILL.md size: 7 KB
Bundled scripts: none
Allowed tools: ReadGrepWriteBashEditGlobWebFetch
Path: library/specializations/cryptography-blockchain/skills/mythril-symbolic/SKILL.md
Open the folder on GitHub →
Where it comes from
Stars: 1,642
Language: JavaScript

Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.

From the SKILL.md

# Mythril Symbolic Execution Skill Deep vulnerability detection through symbolic execution using Mythril, a security analysis tool for EVM bytecode. ## Capabilities - **Symbolic Execution**: Configure and run symbolic execution analysis - **Transaction Depth Control**: Set appropriate depth for complex interactions - **Trace Analysis**: Interpret symbolic execution traces - **Integer Issues**: Detect overflow/underflow paths (pre-0.8 Solidity) - **State Analysis**: Find reentrancy via state change analysis - **Assertion Detection**: Identify assertion failures and edge cases - **PoC Generation**: Generate proof-of-concept exploit inputs ## Installation ```bash # Install via pip pip install mythril # Or use Docker (recommended) docker pull mythril/myth # Verify installation myth version ``` ## Basic Usage ### Analyze Source Code ```bash # Analyze single file myth analyze Contract.sol # Analyze with Solidity version myth analyze Contract.sol --solv 0.8.20 # Analyze specific contract myth analyze Contract.sol:MyContract ``` ### Analyze Bytecode ```bash # Analyze deployed contract myth analyze -a 0x<address> --rpc <rpc_url> # Analyze bytecode file myth analyze --bin-runtime contract.bi

What's inside
Steps it walks through
  1. Capabilities
  2. Installation
  3. Basic Usage
  4. Analyze Source Code
  5. Analyze Bytecode
  6. Configuration Options
  7. Transaction Depth
  8. Timeout Settings
  9. Module Selection
  10. Output Formats
  11. Standard Output
  12. JSON Output
  13. Markdown Output
  14. JSONV2 (Detailed)
Ships with 1 file
  • README.md
Commands it runs
Install via pip
pip install mythril
Or use Docker (recommended)
docker pull mythril/myth
Verify installation
myth version
Analyze single file
myth analyze Contract.sol
Analyze with Solidity version
myth analyze Contract.sol --solv 0.8.20
More from babysitter
All skills →
generating-gcp-diagramsGenerates DrawIO XML diagrams for Google Cloud Platform architectures from text descriptions or…DevOps & Cloudgenerating-aws-diagramsGenerates DrawIO XML diagrams for Amazon Web Services architectures from text descriptions or…DevOps & Cloudcorrosion-materials-selectorMaterials selection skill for corrosion resistance based on process conditions and industry…AI & Agentsapi-diff-analyzerCompare API specifications to detect breaking changes. Compare OpenAPI spec versions, categorize…Databasesdistillation-designerDistillation column design skill for tray/packing selection, hydraulic analysis, and column…Design & Presentationcrystallizer-designerCrystallization process design skill for nucleation control, crystal size distribution, and…Design & Presentation
About this skill
What does the mythril-symbolic skill do?

Symbolic execution analysis using Mythril for deep vulnerability detection in smart contracts. Supports configurable transaction depth, timeout settings, and proof-of-concept exploit generation.

How do I install it?

Run `npx skills add a5c-ai/babysitter --skill mythril-symbolic --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.

Where does this skill come from?

From a5c-ai/babysitter, a repository with 1,642 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.

Is a popular skill a good skill?

Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.

Keep going
All skills →
The full catalog, by category and by tool.
Open Source Radar →
The repositories these skills come from, watched daily.
The people behind them →
Makers and builders across the ecosystem.