AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
☆103Jun 4, 2026Updated this 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…☆33Updated this week
- ☆16Aug 15, 2024Updated last year
- GitHub Action for radar - a static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆11Feb 18, 2026Updated 3 months ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- MoveBit Sampled Audit Reports☆52Oct 17, 2024Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Public Report from Security Reviews, and Invariant Testing Engagements☆17Jan 28, 2026Updated 4 months ago
- ☆15Feb 11, 2023Updated 3 years ago
- A package for deploying and compiling vyper code in foundry☆11Sep 24, 2022Updated 3 years ago
- Launch your meme tokens here, powered by Uniswap v4 hooks☆15Jul 14, 2024Updated last year
- generate a state machine of smart contracts☆15May 17, 2023Updated 3 years ago
- Audits Reports by Naman☆19May 27, 2026Updated last week
- Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle at…☆106Mar 30, 2026Updated 2 months ago
- A cognitive playbook for experienced smart contract auditors. Structures audit thinking, exploration, validation, and reporting. Not an a…☆40Jan 23, 2026Updated 4 months ago
- 🚧 WORK IN PROGRESS 🚧☆23Oct 14, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- A simple template to perform whitehacks safely☆179Aug 5, 2023Updated 2 years ago
- Index of the most common vulnerabilities per protocol type, with 460 vulnerabilities across 31 protocol types☆173Feb 20, 2026Updated 3 months ago
- ☆13Nov 14, 2024Updated last year
- Ethernaut, but in Huff☆28Feb 28, 2023Updated 3 years ago
- ☆38Apr 7, 2023Updated 3 years ago
- Document created to serve as a first step to learn about blockchain and smart contract security.☆19Sep 20, 2021Updated 4 years ago
- SDLC Copilot is an Agentic AI system designed to streamline and automate the Software Development Lifecycle (SDLC). From requirement gath…☆26Jun 14, 2025Updated 11 months ago
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆94Dec 2, 2025Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 关于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 9 months ago
- Vyper examples of LZ-enabled Omnichain contracts☆15Feb 26, 2023Updated 3 years ago
- Zorya: Automated Concolic Execution Engine optimized for Go Binaries analysis, using Ghidra's P-Code as IR, and written in Rust.☆46Updated this week
- A highly flexible AI Agent-driven EVM smart contract vulnerability detection framework☆70Feb 14, 2026Updated 3 months ago
- 一个完整的subgraph集成dapp的案例，包括合约，脚本，搭建graphnode，与前端集成☆15Oct 8, 2022Updated 3 years ago
- Neural Networks to evaluate OMR Sheets☆19Jul 26, 2023Updated 2 years ago
- A curated, verified list of AI-powered tools for smart contract and blockchain security☆71Apr 24, 2026Updated last month
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆128May 28, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆20May 14, 2026Updated 3 weeks ago
- Foundry + Yul puzzles☆33Aug 8, 2023Updated 2 years ago
- The critical bug writeups☆140Oct 31, 2024Updated last year
- Institutional-grade web3 security.☆333May 26, 2026Updated last week
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆143Dec 11, 2023Updated 2 years ago
- Audit reports published by our clients☆17Mar 10, 2026Updated 2 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆60Jan 18, 2026Updated 4 months ago