A command line interface for the MythX smart contract security analysis API
☆94Mar 20, 2024Updated last year
Alternatives and similar repositories for mythx-cli
Users that are interested in mythx-cli are comparing it to the libraries listed below
Sorting:
- A Python library for the MythX smart contract security analysis platform☆31Jun 24, 2024Updated last year
- MythX smart contract security verification plugin for Truffle Framework☆126Jan 22, 2022Updated 4 years ago
- An RPC attack framework for Blockchain nodes.☆95Jul 16, 2023Updated 2 years ago
- A curated list of resources and tools for the MythX smart contract security API☆254Jun 15, 2020Updated 5 years ago
- AZTEC protocol trusted setup MPC☆33Jun 25, 2024Updated last year
- A Jest plugin for Hardhat.☆19Mar 5, 2023Updated 2 years ago
- 0x Protocol v2 Audit☆26Sep 10, 2019Updated 6 years ago
- Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts buil…☆4,208Feb 23, 2026Updated last week
- CLI client for the MythX API☆20Dec 30, 2022Updated 3 years ago
- Scribble instrumentation tool☆336Apr 29, 2025Updated 10 months ago
- ☆10Oct 24, 2022Updated 3 years ago
- ☆13Jan 21, 2019Updated 7 years ago
- IPBW: Interplanetary Black Widow crawls ur ipfs nodes☆12Sep 2, 2021Updated 4 years ago
- Website for rabby☆10Jan 22, 2026Updated last month
- Contracts used in context of the WallETH project☆12Jun 19, 2018Updated 7 years ago
- A mempool listener for contract specific transactions.☆13Aug 19, 2024Updated last year
- hold your coins☆12Aug 21, 2021Updated 4 years ago
- Solidity EVM is a restricted Ethereum Virtual Machine interpreter☆12Nov 21, 2018Updated 7 years ago
- SSRF (Server Side Request Forgery) testing resources☆12Sep 7, 2017Updated 8 years ago
- ☆16Jul 14, 2022Updated 3 years ago
- BitCoin v0.01 ALPHA☆13Nov 6, 2018Updated 7 years ago
- A tree-sitter-grammar for cairo 1.0☆16Dec 14, 2022Updated 3 years ago
- Foundry blog posts' executable demos☆13Apr 30, 2025Updated 10 months ago
- Tool for brute forcing BIP39 seed phrases☆10Feb 25, 2021Updated 5 years ago
- Securify v2.0☆628May 25, 2025Updated 9 months ago
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆394May 25, 2023Updated 2 years ago
- ☆29Jun 24, 2024Updated last year
- Smart Contract Weakness Classification and Test Cases☆898Aug 6, 2024Updated last year
- Static Analyzer for Solidity and Vyper☆6,149Updated this week
- Code coverage for Solidity smart-contracts☆1,004Dec 11, 2025Updated 2 months ago
- Gazelle = Generalized Elle. A framework for reusable programming language semantics.☆18Jun 7, 2022Updated 3 years ago
- Implementation of the tarantula fault localisation algorithm☆13May 10, 2021Updated 4 years ago
- ☆15Apr 9, 2019Updated 6 years ago
- ☆19Jun 25, 2019Updated 6 years ago
- An unofficial python wrapper for the Etherscan API☆17Dec 7, 2022Updated 3 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆69Feb 2, 2020Updated 6 years ago
- rollup implementation☆91Mar 15, 2024Updated last year
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆42Aug 31, 2018Updated 7 years ago
- estimate ethereum gas price☆33May 29, 2019Updated 6 years ago