Alternatives and similar repositories for mythx-cli

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

• compound-finance / saddle
  Ethereum Smart Contract Saddle
  ☆77Updated 4 years ago
• blockchainsllc / piet
  ☆111Updated 2 years ago
• gnosis / conditional-tokens-contracts
  Smart contracts for conditional tokens.
  ☆201Updated 2 years ago
• ConsenSysDiligence / Uniswap-audit-report-2018-12
  ☆52Updated 6 years ago
• reflexer-labs / geb
  Core smart contracts for GEB
  ☆140Updated last year
• ConsenSysDiligence / blockchainSecurityDB
  ☆90Updated last year
• ConsenSysDiligence / Legions
  Ethereum/EVM Node Security Toolkit
  ☆70Updated last year
• OpenZeppelin / exploit-uniswap
  Exploiting a Uniswap exchange that uses an ERC777 token by leveraging the reentrant microtrading attack vector
  ☆172Updated 2 years ago
• muellerberndt / sabre
  Security analyzer for Solidity smart contracts. Uses the MythX smart contract security service.
  ☆60Updated 5 years ago
• centrifuge / tinlake
  Smart contracts for Tinlake, the on-chain securitization protocol for real-world assets
  ☆113Updated last year
• eveem-org / asterix
  An example script finding self-destructs in Eveem sources published on BigQuery
  ☆46Updated last year
• JoranHonig / vertigo
  Mutation Testing for Ethereum Smart Contracts
  ☆206Updated last year
• teller-protocol / teller-protocol-v1
  Teller is a lending and undercollateralized borrowing protocol on the Ethereum blockchain. Teller is the first protocol to allow zero col…
  ☆107Updated 3 years ago
• gnosis / conditional-tokens-market-makers
  Automated Market Maker (AMM) smart contracts for Conditional Tokens Markets.
  ☆119Updated 2 years ago
• usmfum / USM
  Minimalist USD - A minimalist, collateralized stablecoin built on Ethereum.
  ☆139Updated 3 years ago
• OpenZeppelin / openzeppelin-test-environment
  [Not actively maintained] One-line setup for blazing-fast smart contracts tests
  ☆90Updated 4 years ago
• 5afe / contract-proxy-kit
  Enable batched transactions and contract account interactions using a unique deterministic Gnosis Safe.
  ☆103Updated 2 years ago
• merklejerk / solpp
  A solidity preprocessor and flattener CLI and library
  ☆113Updated 2 years ago
• alchemix-finance / alchemix-protocol
  contracts for the Alchemix protocol
  ☆187Updated 3 years ago
• 1inch / chi
  Chi Gastoken by 1inch
  ☆111Updated 11 months ago
• ConsenSysDiligence / truffle-security
  MythX smart contract security verification plugin for Truffle Framework
  ☆127Updated 3 years ago
• aavegotchi / ghst-staking
  GHST staking diamond.
  ☆85Updated last year
• alcueca / ERC3156-Wrappers
  ERC3156 wrappers for popular flash lenders
  ☆73Updated 2 years ago
• 1inch / merkle-distribution
  ☆62Updated last week
• gnosis / gp-v2-contracts
  Smart contracts for the Gnosis Protocol v2
  ☆162Updated 3 years ago
• aragon / radspec
  🤘 Radspec is a safe interpreter for Ethereum's NatSpec
  ☆142Updated last year
• gnosis / cowswap
  🐮 CowSwap: First Gnosis Protocol v2 UI
  ☆115Updated 3 years ago
• fei-protocol / fei-protocol-core
  FEI Protocol smart contract code, tests, and scripts/utilities for DAO proposals.
  ☆193Updated 2 years ago
• vittominacori / erc1363-payable-token
  Reference implementation for the ERC-1363 Payable Token Standard
  ☆135Updated 3 weeks ago
• curvefi / curve-factory
  ☆66Updated 2 years ago