claude-red is a curated library of offensive security skills designed for the Claude skills system. Each skill is a structured SKILL.md file that primes Claude with expert-level methodology for a s…

Solidity registry for all smart contracts' addresses of the Aave ecosystem

Terminal security for developers and AI agents. Intercepts homograph URLs, pipe-to-shell, ANSI injection, obfuscated payloads, data exfiltration, and malicious AI skills/configs before they execute.

Similator for cryptopools written in C++

Aave Umbrella user interface

Private multisig with hidden owners

Cross-platform library to create & extract archives, compress & decompress files, and walk virtual file systems across various formats

A knowledge base of actionable Incident Response techniques

The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!

OSS-Fuzz - continuous fuzzing for open source software.

Singleton factory used by Safe related contracts

Enigma Dark security review reports for DeFi and blockchain protocols

Tool for fuzzing KZG implementations

Build lending vaults which connect through Ethereum Vault Connector

Aave V3 Protocol

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

curation of all(most) immunefi bug bounty writeups I could find(till now)

Core smart contracts for GEB

The most gas optimized ERC-4337 account - written in Huff

zkSync 2.0 setup for local development

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Resources for the budding field of risk modelling and analysis in DeFi

Solidity Audit Report Generator

Profile Solidity gas consumption line-wise.

Smart contract specification language