AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
☆108Jun 9, 2026Updated 2 weeks ago
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…☆33Jun 13, 2026Updated 2 weeks ago
- ☆16Aug 15, 2024Updated last year
- GitHub Action for radar - a static analysis tool for rust, anchor, stylus, and solidity smart contracts.☆11Feb 18, 2026Updated 4 months ago
- Improved Barebones Solidity smart contract fuzzer☆11Apr 12, 2023Updated 3 years ago
- MoveBit Sampled Audit Reports☆52Oct 17, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Public Report from Security Reviews, and Invariant Testing Engagements☆17Jan 28, 2026Updated 5 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 month
- Structured skills for smart contract security audits. Infers state invariants, detects semantic guard gaps, models flash loan + oracle at…☆110Mar 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 5 months ago
- 🚧 WORK IN PROGRESS 🚧☆23Oct 14, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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☆175Feb 20, 2026Updated 4 months ago
- Backdooring Claude Code via hooks in settings.json. Authorized use only!☆80Apr 16, 2026Updated 2 months ago
- 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
- Data-driven exploit generation for Ethereum smart contracts using LLMs and Foundry☆94Dec 2, 2025Updated 6 months ago
- Practical tips for building secure web3 projects at every stage, from the initial design to deployment☆75Aug 27, 2025Updated 10 months ago
- AI Agents on 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.
- ERC-721 token that wraps a portion of ERC-20☆11Feb 21, 2019Updated 7 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 4 months ago
- 一个完整的subgraph集成dapp的案例，包括合约，脚本，搭建graphnode，与前端集成☆15Oct 8, 2022Updated 3 years ago
- Neural Networks to evaluate OMR Sheets☆20Jul 26, 2023Updated 2 years ago
- A framework that references, categorizes, and mitigates blockchain attack vectors.☆131May 28, 2025Updated last year
- A curated, verified list of AI-powered tools for smart contract and blockchain security☆74Apr 24, 2026Updated 2 months ago
- ☆20May 14, 2026Updated last month
- The critical bug writeups☆142Oct 31, 2024Updated last year
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Institutional-grade web3 security.☆333Updated this week
- Solidity CTF challenges for mrstealyocrypto.xyz (foundry)☆143Dec 11, 2023Updated 2 years ago
- Audit reports published by our clients☆17Mar 10, 2026Updated 3 months ago
- General purpose unopinionated Solidity fuzzing library for stateful and stateless fuzzing☆60Jan 18, 2026Updated 5 months ago
- Whitepaper for the Starport Lending Kernel and Astaria v1☆11Jun 4, 2024Updated 2 years ago
- MCP server for searching and retrieving Solodit vulnerability reports.☆41Jun 30, 2025Updated 11 months ago
- Quadratic Decay Exponential Surge☆11Aug 22, 2022Updated 3 years ago