Popular repositories Loading

1. Solstice Solstice Public

   Solstice is a security analysis framework for investigative smart contract examination. The first prototype of Solstice, code named W18 (see below for naming rationale), is a command-line tool whic…

   Python 20 3

2. 0x-monorepo 0x-monorepo Public

   Forked from 0xProject/0x-monorepo

   0x protocol monorepo - includes our smart contracts and many developer tools

   TypeScript 1

3. Smarty Smarty Public

   “Smarty” is a smart contract proof-of-audit service which allows users to upload smart contracts, have them analysed for security vulnerabilities using state-of-the-art security tools and then have…

   JavaScript 1

4. mythril mythril Public

   Forked from ConsenSysDiligence/mythril

   Mythril OSS: Security analysis tool for Ethereum smart contracts

   Python

5. vyper vyper Public

   Forked from vyperlang/vyper

   Pythonic Smart Contract Language for the EVM

   Python

6. slither slither Public

   Forked from crytic/slither

   Static Analyzer for Solidity

   Python