naszam

euler-fuzzing-workshop

Practical resources for the Euler fuzzing workshop

grok-1

Grok open release

mocktimism

[WIP!] Coordinates two anvil process (L1 and L2) for testing / forking op-stack chains (mocktimism placeholder name)

cryo

cryo is the easiest way to extract blockchain data to parquet, csv, json, or python dataframes

fuzz-utils

A tool to automatically generate Foundry unit test cases from Echidna and Medusa failed properties

solady

Optimized Solidity snippets.

solidity-audit-report-generator

Solidity Audit Report Generator

armory

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, or find-the-bug content. This is for the real researchooors.

caracal

Static Analyzer for Starknet smart contracts

diffusc

Experimental tool to ease the review of smart contracts upgrades

portfolio

medusa

Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum

properties

Pre-built security properties for common Ethereum operations

report-template

A markdown based template for writing spearbit reports

compile-issues

verified-smart-contracts

Smart contracts which are formally verified

prototech-ajna-audit

Review: April 24th to May 19th 2023; Fixes: May 20th to June 2nd 2023

gh-clone-org

A github-cli extension script to clone all repositories in an organization, optionally filtering by topic.

vscode-solidity-auditor

Solidity language support and visual security auditor for Visual Studio Code

foundry-storage-check

🔐 Protect your Smart Contract Proxy from storage collisions upon upgrading, by running this action in a CI on each of your Pull Requests!

halmos

A symbolic testing tool for EVM smart contracts

gambit

Using mutations to improve specs and test suites

protego

chatgpt-vscode

A VSCode extension that allows you to use ChatGPT

echidna-streaming-series

A 6-part series on how to use Echidna on real-world codebases

spellcheck-action

GitHub Action for checking code & Pull Requests for spelling mistakes

purple

foundry-template

An opinionated template for Foundry projects.

helios

A fast, secure, and portable light client for Ethereum

github-actions-report-lcov

A Github Action to report the code coverage from LCOV files