#Smart-contract-audit

Showing 10 of 10 repositories tagged #smart-contract-audit, ranked by stars

Cyfrin
Cyfrin
security-and-auditing-full-course-s23

The ultimate, most advanced, security, DeFi, assembly, web3 auditor course ever created.

Score
0
โ˜… 1.9k โ‘‚ 445 โ€”
Solidity
PlamenTSV
PlamenTSV
plamen

Autonomous Web3 security audit agent for Claude Code

Score
100
โ˜… 257 โ‘‚ 49 โ€”
Python
forefy
forefy
.context

AI Agent Skills for Smart Contract Auditing to generate triaged, industry grade report findings, code locations, pocs, attacker story flow graphs and more

Score
88
โ˜… 113 โ‘‚ 26 +4/day
Python
sablier-labs
sablier-labs
audits

Smart contract audits performed on Sablier by third-party security researchers

Score
75
โ˜… 60 โ‘‚ 14 โ€”
johnsonstephan
johnsonstephan
awesome-web3-formal-verification

A curated list of awesome web3 formal verification resources -- including tools, tutorials, articles and more.

Score
38
โ˜… 43 โ‘‚ 5 โ€”
Quillhash
Quillhash
DeFi-anti-hack-checklist

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.

Score
25
โ˜… 32 โ‘‚ 3 โ€”
Keyrxng
Keyrxng
GhostsOfEpochsPast

๐Ÿ›ก๏ธ 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.

Score
12
โ˜… 21 โ‘‚ 4 โ€”
Solidity
Cyfrin
Cyfrin
codehawks-docs

๐Ÿฆ… CodeHawks documentation

Score
50
โ˜… 20 โ‘‚ 18 โ€”
pantheraudits
pantheraudits
web3-sec-ai-prompts

AI prompts for web3 security researchers โ€” bug bounties, private audits, and contests

Score
62
โ˜… 16 โ‘‚ 4 โ€”
Quillhash
Quillhash
NFT-anti-hack-checklist

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.

Score
0
โ˜… 16 โ‘‚ 1 โ€”
Related Topics
#solidity#smart-contract-security#smart-contracts#web3#ethereum#blockchain#cryptocurrency#web3-security#ai-agents#defi#security#ai-agent

ยฉ 2026 GitRepoTrend ยท GitHub repositories by topic ยท Updated weekly