AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
☆86Mar 17, 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…☆31Mar 10, 2026Updated 2 weeks ago
- ☆16Aug 15, 2024Updated last year
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 2 years ago
- MoveBit Sampled Audit Reports☆53Oct 17, 2024Updated last year
- ☆15Feb 11, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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☆19Mar 13, 2026Updated 2 weeks ago
- A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an a…☆37Jan 23, 2026Updated 2 months ago
- 🚧 WORK IN PROGRESS 🚧☆23Oct 14, 2024Updated last year
- 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☆155Feb 20, 2026Updated last month
- A simple template to perform whitehacks safely☆181Aug 5, 2023Updated 2 years ago
- ☆13Nov 14, 2024Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆91Dec 2, 2025Updated 3 months ago
- Ethernaut, but in Huff☆28Feb 28, 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 9 months ago
- ☆38Apr 7, 2023Updated 2 years ago
- A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework☆68Feb 14, 2026Updated last month
- Document created to serve as a first step to learn about blockchain and smart contract security.☆19Sep 20, 2021Updated 4 years ago
- 关于UniswapV2，所有你需要了解的一切，这里估计一定都有！文档+视频（合约解析部署、前端部署、subgraph解析部署）☆10Dec 9, 2022Updated 3 years ago
- Practical tips for building secure web3 projects at every stage, from the initial design to deployment☆74Aug 27, 2025Updated 7 months ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- MCP server for searching and retrieving Solodit vulnerability reports.☆40Jun 30, 2025Updated 8 months ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆128May 28, 2025Updated 9 months ago
- ☆18Mar 19, 2026Updated last week
- The critical bug writeups☆136Oct 31, 2024Updated last year
- Foundry + Yul puzzles☆33Aug 8, 2023Updated 2 years ago
- Institutional-grade web3 security.☆333Mar 12, 2026Updated 2 weeks ago
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆143Dec 11, 2023Updated 2 years ago
- ☆68Feb 4, 2026Updated last month
- Formally verified smart contracts. Mathematical certainty across all inputs and execution paths. Betting that agents will make full forma…☆42Updated this week
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Audit reports published by our clients☆19Mar 10, 2026Updated 2 weeks ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆59Jan 18, 2026Updated 2 months ago
- Solidity/EVM smart contract security auditor — 104 vulnerability patterns, 8 tools, 100% CTF + EVMBench benchmark (120/120)☆80Updated this week
- Whitepaper for the Starport Lending Kernel and Astaria v1☆11Jun 4, 2024Updated last year
- Agentic workflows leveraging the Atoma Network☆14May 22, 2025Updated 10 months ago
- DApp that let's you buy me a coffee with crypto ☕️☆13Oct 24, 2022Updated 3 years ago
- Workshop about the different types of reentrancy attacks☆135Mar 25, 2025Updated last year