AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
☆94Apr 10, 2026Updated last week
Alternatives and similar repositories for .context
Users that are interested in .context are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆32Apr 2, 2026Updated 2 weeks ago
- ☆16Aug 15, 2024Updated last year
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- MoveBit Sampled Audit Reports☆53Oct 17, 2024Updated last year
- ☆15Feb 11, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A package for deploying and compiling vyper code in foundry☆11Sep 24, 2022Updated 3 years ago
- generate a state machine of smart contracts☆15May 17, 2023Updated 2 years ago
- Audits Reports by Naman☆19Updated this week
- Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle at…☆98Mar 30, 2026Updated 2 weeks ago
- A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an a…☆39Jan 23, 2026Updated 2 months ago
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆159Feb 20, 2026Updated last month
- A simple template to perform whitehacks safely☆180Aug 5, 2023Updated 2 years ago
- ☆13Nov 14, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- ☆38Apr 7, 2023Updated 3 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆23Jun 14, 2025Updated 10 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆92Dec 2, 2025Updated 4 months ago
- Document created to serve as a first step to learn about blockchain and smart contract security.☆19Sep 20, 2021Updated 4 years ago
- Practical tips for building secure web3 projects at every stage, from the initial design to deployment☆74Aug 27, 2025Updated 7 months ago
- ERC-721 token that wraps a portion of ERC-20☆11Feb 21, 2019Updated 7 years ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework☆68Feb 14, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 一个完整的subgraph集成dapp的案例，包括合约，脚本，搭建graphnode，与前端集成☆15Oct 8, 2022Updated 3 years ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆128May 28, 2025Updated 10 months ago
- ☆19Mar 19, 2026Updated 3 weeks ago
- Foundry + Yul puzzles☆33Aug 8, 2023Updated 2 years ago
- The critical bug writeups☆136Oct 31, 2024Updated last year
- Institutional-grade web3 security.☆335Apr 6, 2026Updated last week
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆143Dec 11, 2023Updated 2 years ago
- Audit reports published by our clients☆18Mar 10, 2026Updated last month
- MCP server for searching and retrieving Solodit vulnerability reports.☆41Jun 30, 2025Updated 9 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated 2 months ago
- Formally verified smart contracts gives mathematical certainty across all inputs and execution paths. We bet that agents will make full f…☆52Updated this week
- Quadratic Decay Exponential Surge☆11Aug 22, 2022Updated 3 years ago
- DApp that let's you buy me a coffee with crypto ☕️☆13Oct 24, 2022Updated 3 years ago
- ☆70Feb 4, 2026Updated 2 months ago
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated last year
- Collection of presentations given by Sigma Prime☆19Mar 1, 2022Updated 4 years ago