Kag's repositories
bountiful
Get paid to break things
building-secure-contracts
Guidelines and training material to write secure smart contracts
CustomTkinter
A modern and customizable python UI-library based on Tkinter
DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
ethereum-developer-tools-list
A guide to available tools and platforms for developing on Ethereum.
gambit
Using mutations to improve specs and test suites
halmos
Symbolic Bounded Model Checker for Ethereum Smart Contracts Bytecode
learn-evm-attacks
Learn & Contribute on previously exploited vulnerabilities across several EVM projects.
lodestar-protocol
Houses the code for the Lodestar Finance DeFi protocol.
mr-steal-yo-crypto-ctf
Solidity CTF challenges for mrstealyocrypto.xyz (hardhat)
On-Chain-Investigations-Tools-List
Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!
planka
The realtime kanban board for workgroups built with React and Redux.
pyrometer
A tool for analyzing the security and parameters of a solidity smart contract
rainbowwagmi
The best way to connect a wallet 🌈 🧰
secureum-mind_map
Central Repository for the Epoch 0 coursework and quizzes. Contains all the content, cross-referenced and linked.
solady
Optimized Solidity snippets.
trpc
🧙♀️ Move Fast and Break Nothing. End-to-end typesafe APIs made easy.
Tutorial-FV
Practical tutorials of Certora Prover
Web3Bugs
Demystifying Exploitable Bugs in Smart Contracts
WTF-gas-optimization
Solidity gas optimization techniques, using Foundry.
z3
The Z3 Theorem Prover