forefy / .contextView external linksLinks
AI Agent Instructions for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
☆48Feb 6, 2026Updated last 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…☆29Jan 13, 2026Updated last month
- ☆15Feb 11, 2023Updated 3 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…☆34Jan 23, 2026Updated 3 weeks ago
- Audits Reports by Naman☆19Feb 2, 2026Updated last 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 2 years ago
- Foundry + Yul puzzles☆33Aug 8, 2023Updated 2 years ago
- An EVM-compatible Solidity Smart Contract Storage/Slot Analyzer and Data Extractor.☆46May 21, 2025Updated 8 months ago
- Practical tips for building secure web3 projects at every stage, from the initial design to deployment☆74Aug 27, 2025Updated 5 months ago
- Ethernaut CTF solutions with Ape, Vyper, & Huff☆36Feb 20, 2023Updated 2 years ago
- ☆10Aug 9, 2017Updated 8 years ago
- MoveBit Sampled Audit Reports☆52Oct 17, 2024Updated last year
- ☆15Jan 10, 2026Updated last month
- ☆10Aug 16, 2022Updated 3 years ago
- A boilerplate for dApps on Lisk☆12Jul 3, 2025Updated 7 months ago
- A comprehensive list of security practices for DeFi protocols.☆86Oct 27, 2024Updated last year
- Solidity, Defi, and blockchain security resources.☆41Jan 27, 2026Updated 2 weeks ago
- ☆47May 16, 2025Updated 8 months ago
- ☆12Oct 10, 2024Updated last year
- A simple P5JSFactory☆12Apr 8, 2023Updated 2 years ago
- ☆13Nov 14, 2024Updated last year
- This repository contains research papers & studies that I have worked on or am currently working on.☆11Jan 29, 2026Updated 2 weeks ago
- DApp that let's you buy me a coffee with crypto ☕️☆12Oct 24, 2022Updated 3 years ago
- ☆15Jul 3, 2025Updated 7 months ago
- Backport of SliverStager to work with DotNetToJScript for vba☆16Aug 9, 2024Updated last year
- learning foundry by testing solidity-by-example☆11Mar 18, 2022Updated 3 years ago
- ☆10Jan 14, 2023Updated 3 years ago
- ☆22Apr 28, 2025Updated 9 months ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 2 years ago
- Testing framework for SVM programs & integrations☆12Dec 5, 2024Updated last year
- A decentralized lottery program with daily updates and automatic draw with a maximum of 300 participants🃏. Focused on the new paradigm o…☆14Jun 9, 2024Updated last year
- ☆11Apr 1, 2024Updated last year
- 🛝 Transforms any RCE into a functional dumb shell. Designed for constrained environments (e.g., firewalls) where traditional reverse she…☆14Updated this week
- Examples of interacting with Pendle's contracts☆13Sep 5, 2025Updated 5 months ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- ☆10Oct 4, 2023Updated 2 years ago
- Go WorkerPool aims to control heavy Go Routines☆12Aug 20, 2022Updated 3 years ago