AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
☆70Mar 5, 2026Updated this week
Alternatives and similar repositories for .context
Users that are interested in .context are comparing it to the libraries listed below
Sorting:
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆30Jan 13, 2026Updated last month
- ☆15Feb 11, 2023Updated 3 years ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 2 years ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- ☆16Aug 15, 2024Updated last year
- A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an a…☆36Jan 23, 2026Updated last month
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆141Feb 20, 2026Updated 2 weeks ago
- Audits Reports by Naman☆19Updated this week
- Document created to serve as a first step to learn about blockchain and smart contract security.☆19Sep 20, 2021Updated 4 years ago
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- Foundry + Yul puzzles☆33Aug 8, 2023Updated 2 years ago
- An EVM-compatible Solidity Smart Contract Storage/Slot Analyzer and Data Extractor.☆47May 21, 2025Updated 9 months ago
- Practical tips for building secure web3 projects at every stage, from the initial design to deployment☆74Aug 27, 2025Updated 6 months ago
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- MoveBit Sampled Audit Reports☆51Oct 17, 2024Updated last year
- A boilerplate for dApps on Lisk☆12Jul 3, 2025Updated 8 months ago
- ☆10Aug 16, 2022Updated 3 years ago
- ☆17Updated this week
- A comprehensive list of security practices for DeFi protocols.☆86Oct 27, 2024Updated last year
- Solidity, Defi, and blockchain security resources.☆41Jan 27, 2026Updated last month
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated last month
- ☆47May 16, 2025Updated 9 months ago
- 🛝 Transforms any RCE into a functional dumb shell. Designed for constrained environments (e.g., firewalls) where traditional reverse she…☆14Feb 18, 2026Updated 2 weeks ago
- Torrent Bot for Telegram hosted on Heroku☆10Jul 3, 2019Updated 6 years ago
- ☆10Jul 7, 2023Updated 2 years ago
- ☆11Apr 1, 2024Updated last year
- ☆12Nov 29, 2023Updated 2 years ago
- A simple P5JSFactory☆12Apr 8, 2023Updated 2 years ago
- A package for deploying and compiling vyper code in foundry☆11Sep 24, 2022Updated 3 years ago
- ☆15Jul 3, 2025Updated 8 months ago
- ☆10Jan 14, 2023Updated 3 years ago
- ☆10Dec 21, 2023Updated 2 years ago
- Examples of interacting with Pendle's contracts☆13Sep 5, 2025Updated 6 months ago
- Static analysis toolkit for security analysis in Aleo programs☆10Mar 29, 2024Updated last year
- Testing framework for SVM programs & integrations☆12Dec 5, 2024Updated last year
- ☆22Apr 28, 2025Updated 10 months ago
- learning foundry by testing solidity-by-example☆11Mar 18, 2022Updated 3 years ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- Deploy AO contracts with ease☆12Jan 7, 2026Updated last month