Practical resources for the Euler fuzzing workshop

Grok open release

[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

Optimized Solidity snippets.

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,…

Static Analyzer for Starknet smart contracts

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 symbolic testing tool for EVM smart contracts

Using mutations to improve specs and test suites

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