Stars
A fast Rust CLI for EVM chains. Download verified contract source, resolve proxy and diamond implementations, fetch ABIs and bytecode, and query balances/txs/gas — one API key, all major chains.
The program allows you to check balances in several EVM networks at once, for which it has flexible settings for each of them.
Web3 security skills kit — smart contract auditing, blockchain client analysis, and on-chain exploit investigation.
Artifacts of Onchain Exploit Analysis
A curated list of resources for formal verification with Certora Prover (EVM/Stellar/Solana/Sui).
Small Authentication Large Trie: memory-efficient authenticated KV store for blockchain state
Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows
A deterministic EVM bytecode obfuscator written in Rust
This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart con…
A curated list of fuzzing resources ( Books, courses - free and paid, videos, tools, tutorials and vulnerable applications to practice on ) for learning Fuzzing and initial phases of Exploit Develo…
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
There are some papers about fuzzing. I record them by Xmind. Welcome to contact to me.
A static analyzer and linter for the Circom zero-knowledge DSL
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
A Model Context Protocol server for integrating HackMD's note-taking platform with AI assistants.
armatrix / book
Forked from foundry-rs/bookA book on all things Foundry, available at https://book.getfoundry.sh.