Tag
#smart-contract-audit
26 repositories
Repos
The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.
AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more
Smart contract audits performed on Sablier by third-party security researchers
A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.
This repo contains anti-hack checklists, which will help projects to build and develop secure DeFi applications. If you find anything missing or want to update existing resources, you can create a pull request and contribute to the project.
🛡️ Ghosts is a free smart contract security study and revision platform. Initially based solely on previous Secureum Races to wit we use all of the previous race content and simulate an engaging, incentivized learning platform for aspiring smart contract security researchers.
In this repository, we have created a checklist for developers as well as for users to prevent these hacks/scams and stay safe from these hackers/scammers. If you find anything missing or want to update existing resources, you can create a pull request and contribute to the project.
EtherAuthority secures web3 including: DeFi, NFT, DAO, Metaverse, Gaming, DEX, Launchpad, L1 Blockchain, Escrow, Cross-chain Bridge, and many more.
AI prompts for web3 security researchers — bug bounties, private audits, and contests
MCP Servers for BlockChain, Cyber Security and AI Automation A cutting-edge Model Context Protocol (MCP) server infrastructure designed to power the next generation of decentralized applications with integrated AI automation and enterprise-grade security.
Getting into web3 - Blockchains | Smart Contracts | NFTs | Stablecoins | DAOs | Upgradable Contracts | Security and Auditing
Cross-Contract Reentrancy PoC, a Foundry-based Solidity demo exploiting timing mismatch in DeFi Vault and ICOGov mint flow. Inspired by Inspex.
This repository contains my audits, including private and contest submissions.
Solidera is a smart contract security toolkit that analyzes Solidity code for security vulnerabilities, gas optimization, and style compliance.
Smart contract security project demonstrating vulnerabilities, exploits, and secure fixes using Hardhat.
A comprehensive resource for developers, auditors, and blockchain enthusiasts to smart the art of securing smart contracts
Repository containing demonstration and tests for smart contract bugs and their fixes.
Multi-chain rug pull & honeypot detector for ERC-20 / BEP-20 tokens. Scan Ethereum, BSC, Polygon tokens for security red flags before buying.
High Severity: Precision loss in OrderBook calculation (division before multiplication) for Kuru Labs.
AuditForge is a frontend-first, IDE-style smart contract auditing tool focused on Solidity. It provides a Monaco-based editor, virtual filesystem, and AI-powered analysis with explicit user control, designed for developers who want fast, transparent, and focused contract reviews directly in the browser.