Lists (3)
Starred repositories
Practical resources for the Euler fuzzing workshop
7
Updated May 28, 2024
ethereum-optimism / mocktimism
Forked from mdehoog/op-anvil[WIP!] Coordinates two anvil process (L1 and L2) for testing / forking op-stack chains (mocktimism placeholder name)
cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes
A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties
Solidity Audit Report Generator
A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition. This is not your standard roadmap, top 10 vulnerabilities,…
Experimental tool to ease the review of smart contracts upgrades
Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum
Pre-built security properties for common Ethereum operations
A markdown based template for writing spearbit reports
Smart contracts which are formally verified
Review: April 24th to May 19th 2023; Fixes: May 20th to June 2nd 2023
A github-cli extension script to clone all repositories in an organization, optionally filtering by topic.
Solidity language support and visual security auditor for Visual Studio Code
🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests!
A VSCode extension that allows you to use ChatGPT
A 6-part series on how to use Echidna on real-world codebases
GitHub Action for checking code & Pull Requests for spelling mistakes
An opinionated template for Foundry projects.
A fast, secure, and portable multichain light client for Ethereum
A Github Action to report the code coverage from LCOV files