Alternatives and similar repositories for mythx-cli:

Users that are interested in mythx-cli are comparing it to the libraries listed below

• Consensys / blockchainSecurityDB
  ☆90Updated 7 months ago
• blockchainsllc / piet
  ☆110Updated 2 years ago
• Consensys / Uniswap-audit-report-2018-12
  ☆51Updated 5 years ago
• Consensys / Legions
  Ethereum/EVM Node Security Toolkit
  ☆70Updated 7 months ago
• Consensys / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆125Updated 3 years ago
• tintinweb / smart-contract-inspector
  the magic X-ray machine for solidity smart contracts
  ☆175Updated 3 years ago
• alcueca / ERC3156-Wrappers
  ERC3156 wrappers for popular flash lenders
  ☆72Updated last year
• pickle-finance / protocol
  Pickle Protocols
  ☆127Updated last year
• usmfum / USM
  Minimalist USD - A minimalist, collateralized stablecoin built on Ethereum.
  ☆137Updated 3 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆61Updated 4 years ago
• aavegotchi / ghst-staking
  GHST staking diamond.
  ☆85Updated last year
• gnosis / conditional-tokens-contracts
  Smart contracts for conditional tokens.
  ☆174Updated 2 years ago
• makerdao / optimism-dai-bridge
  Optimism Dai and upgradable token bridge
  ☆72Updated last year
• solidified-platform / audits
  Audits performed by Solidified
  ☆184Updated 8 months ago
• sushiswap / mirin
  A Sushi AMM v3 implementation
  ☆67Updated 3 years ago
• a16z / metamorphic-contract-detector
  ☆161Updated 2 years ago
• thegostep / solidity-create2-deployer
  Deploy solidity contracts with ethers.js and CREATE2
  ☆76Updated last year
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆205Updated last year
• OpenZeppelin / openzeppelin-test-environment
  [Not actively maintained] One-line setup for blazing-fast smart contracts tests
  ☆90Updated 3 years ago
• sushiswap / kashi-lending
  ☆82Updated 2 years ago
• reflexer-labs / geb
  Core smart contracts for GEB
  ☆140Updated last year
• 0age / HomeWork
  HomeWork is an autonomous utility for finding, sharing and reusing home addresses for contracts.
  ☆124Updated last year
• crytic / contract-explorer
  Visual Studio Code integration for Slither, a Solidity static analysis framework
  ☆34Updated 6 months ago
• eveem-org / asterix
  An example script finding self-destructs in Eveem sources published on BigQuery
  ☆43Updated last year
• ItsNickBarry / hardhat-contract-sizer
  Calculate Ethereum contract sizes with Hardhat 📐
  ☆75Updated 6 months ago
• alcueca / ERC3156
  Reference implementations for ERC20 Flash Loans and Flash Mints
  ☆125Updated last year
• curvefi / curve-factory
  ☆66Updated last year
• InverseFinance / inverse-protocol
  ☆66Updated 3 years ago
• compound-finance / saddle
  Ethereum Smart Contract Saddle
  ☆78Updated 3 years ago
• centrifuge / tinlake
  Smart contracts for Tinlake, the on-chain securitization protocol for real-world assets
  ☆108Updated last year