awesome-starknet-security
github.com/amanusk/awesome-starknet-security ↗A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.
Use this list with your AI agent
Add the Context Awesome MCP server to Claude, Cursor, or any MCP client, then ask:
"Show me cairo resources from awesome-starknet-security"
Installation instructions →What's inside
Tools
- Aegis
Cairo Formal verification tool.
- amarna
Static-analyzer and linter for the Cairo programming language.
- Cairo Fuzzer
Cairo Fuzzing tool.
- cairo-profiler
Profiler for Cairo and Starknet.
- cairovm.codes
Compile and debug Sierra code.
- Caracal
Static analyzer tool over Sierra.
Audit reports
- Argent Account and MultisigCairo
Argent account and Argent Multisig for Starknet audit by Consensys Diligence.
- AVNUCairo
AVNU audit by Nethermind.
- BraavosCairo
Braavos Account audit by Nethermind.
- BriqCairo 0
Briq protocol audit by Nethermind.
- CarmineCairo
Carmine audit by Nethermind.
- ChainSecurity DAI Bridge AuditCairo 0
MakerDAO's DAI bridge audit by ChainSecurity.
Blogposts and Tutorials
- Auditing Cairo 1.0 Contracts
Cairo auditing tips and pitfalls.
- Cairo 0.x Security
Cairo 0.x pitfalls and considerations.
- Cairo Contracts and pitfalls overview
Cairo traps and vulnerabilities.
- Cairo Security (Peteris Erins)Video tutorials
Spearbit seminar on Cairo security.
- Cairo: the Starknet way to writing safe code
Comparing Cairo and Solidity for smart contracts.
- Code4rena x Starknet BasecampVideo tutorials
Starknet basecamp for first Cairo contest.
CTFs and Wargames
- cairo-damn-vulnerable-defiWargames
Cairo and Starknet challenges inspired by Capture the Ether.
- Curta puzzle #13: Ping PongCTFs
Starknet messaging challenge.
- Node GuardiansWargames
Online wargame and challenge with quests and standalone challenges.
- Paradigm CTF 2022CTFs
Paradigm CTF with Solidity and Cairo challenges.
- StarknetCC-CTFCTF writeups
StarknetCC 2022 CTF writeup by Ledger.
- StarknetCC-CTFCTF writeups
StarknetCC 2022 CTF writeup by pscott.
General
- not-so-smart-cairoRepositories and Examples
Examples of common Cairo smart contract vulnerabilities by Trail of Bits.
- zkLend-reproductionRepositories and Examples
Reproduction of the ZkLend hack with Starknet-Foundry.
Showing a sample of 49 resources. View the full list on GitHub →