Linux virtual machines, with a focus on running containers

Quantum-Secure Signer for the Safe Smart Account

Cryptographically prove the integrity of your Safe account

A project that detects whether a deployed Safe has experienced shadow storage writes.

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

A curated list of resources for formal verification with Certora Prover (EVM/Stellar/Solana/Sui).

Safenet enforces transaction security onchain by preventing high-risk transactions from executing.

Privacy-first tooling for the Ethereum ecosystem

Tornado cash. Non-custodial private transactions on Ethereum.

Specification for the Execution Layer. Tracking network upgrades.

Buttercup finds and patches software vulnerabilities

Command line utility for Safe

🚢 Ultra-Fast Multichain Indexer

An on-chain policy engine for Safe smart accounts.

Trust, Enforced On-Chain.

Advanced Python Mastery (course by @dabeaz)

A minimal co-signer setup usable with a Safe

Primers for Specialist AI Smart Contract Auditors

A guard contract restricting DELEGATECALL in safe smart account

Dive straight into React—from basic JSX to advanced hooks—and build a real, modern app in this hands-on crash course!

Elliptic Curve Integrated Encryption Scheme for secp256k1/curve25519 in Python

A programming framework for agentic AI

Certora Run GitHub Action

Community guide to securing and improving privacy on macOS.

📄 Configuration files that enhance Cursor AI editor experience with custom rules and behaviors

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

Solidity Static Analyzer that easily integrates into your editor

Extracts function selectors, arguments, state mutability and storage layout from EVM bytecode, even for unverified contracts