The Red Guild's devcontainer focused in web3 and security.
☆112Oct 10, 2025Updated 10 months ago
Alternatives and similar repositories for devcontainer
Users that are interested in devcontainer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Curation of DevSecOps tools that all work together inside the minimum amount of containers. Just run make exec and read the How To!☆41Nov 11, 2024Updated last year
- A repo to help users run code in isolated environments. Stay safe big dogs.☆178Updated this week
- Wargames Toolkit☆80Jan 27, 2025Updated last year
- Extension to Scaffold, Run and Debug Invariant Tests with Echidna, Medusa, Halmos and Foundry. Always published under Recon-Fuzz. Recomme…☆36Jun 16, 2026Updated last month
- Smart Contract Property-Based Testing Framework☆163Apr 24, 2026Updated 3 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.
- CTF challenges made by MiloTruck☆99Jul 3, 2025Updated last year
- A CLI to setup a full equiped web3 dev container.☆21Oct 17, 2025Updated 9 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆98Jul 2, 2024Updated 2 years ago
- Solidity Static Analyzer that easily integrates into your editor☆794Updated this week
- EVM Smart Contract Storage Viewer and Comparator☆37Jul 7, 2026Updated last month
- A curated list of awesome ton security resources☆43Jul 11, 2026Updated 3 weeks ago
- Bugs in commonly forked DeFi protocols☆493Oct 3, 2025Updated 10 months ago
- Immunefi Contract DB - Search Bugs☆34Dec 4, 2024Updated last year
- A comprehensive guide to teach you about gas optimization patterns.☆26Aug 24, 2023Updated 2 years ago
- 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.
- Autonomous Web3 security audit agent for Claude Code☆276Jul 15, 2026Updated 3 weeks ago
- Static smart contract code 4naly3er☆550Aug 14, 2024Updated last year
- Public Report from Security Reviews, and Invariant Testing Engagements☆17Jan 28, 2026Updated 6 months ago
- ☆80Aug 1, 2025Updated last year
- Solo High severity findings from contests 2024☆31Dec 23, 2024Updated last year
- zkVMs vulnerabilities☆16May 4, 2026Updated 3 months ago
- A simple tool for security researchers to monitor code-changes that silently fix bugs or introduce new ones, across multiple repositories…☆46Dec 13, 2024Updated last year
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆484Jul 6, 2026Updated last month
- ☆141Oct 31, 2025Updated 9 months ago
- 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.
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆326Jul 21, 2026Updated 3 weeks ago
- Every time a Bug Bounty Program in Immunefi modifies its policy, assets-in-scope, or bounties-table, a bot will commit those changes to t…☆99Updated this week
- WALA-based Solidity static analysis. Currently it includes RoundAbout, a tool for inferring rounding direction across functions, expressi…☆20May 21, 2026Updated 2 months ago
- A simple template to perform whitehacks safely☆179Aug 5, 2023Updated 3 years ago
- A blazingly fast linter for NatSpec comments in Solidity code. Mirror available on Codeberg.☆29Updated this week
- ☆11Mar 1, 2024Updated 2 years ago
- A one-stop shop for blockchain security researchers looking for educational material and alpha to level-up and get an edge on competition…☆406Mar 1, 2026Updated 5 months ago
- ☆30Nov 30, 2023Updated 2 years ago
- All things Uniswap☆185Feb 15, 2024Updated 2 years ago
- 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.
- A tool for analyzing the security and parameters of a solidity smart contract☆799Feb 14, 2025Updated last year
- Observations and tips checklist for auditing protocols on multiple chains 🧐☆714Feb 4, 2026Updated 6 months ago
- A chronological and (hopefully) complete list of reentrancy attacks to date.☆1,624Jul 20, 2026Updated 3 weeks ago
- My swiss army knife for reversing EVM bytecodes (super experimental)☆127Nov 25, 2025Updated 8 months ago
- Primers for Specialist AI Smart Contract Auditors☆268Dec 16, 2025Updated 7 months ago
- ☆397Mar 4, 2024Updated 2 years ago
- ☆42Feb 20, 2026Updated 5 months ago