crytic / slither

Static Analyzer for Solidity and Vyper

ApeWorX / ape

Build and explore on-chain with Python

tradingstrategy-ai / web3-ethereum-defi

A Python library for trading automation on DeFi, data research and integration. Supporting Uniswap, Aave, Chainlink, USDC and other protocols.

smartbugs / smartbugs

SmartBugs: A Framework to Analyze Ethereum Smart Contracts