A pocket knife for auditing smart contracts.
☆258Jan 3, 2023Updated 3 years ago
Alternatives and similar repositories for pocketh
Users that are interested in pocketh are comparing it to the libraries listed below
Sorting:
- An Alfred workflow with Ethereum utilities☆12Nov 16, 2020Updated 5 years ago
- ☆195Nov 5, 2021Updated 4 years ago
- A factory contract for creating metamorphic (i.e. redeployable) contracts.☆536Apr 16, 2023Updated 2 years ago
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆32Jan 24, 2023Updated 3 years ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,591Jun 28, 2024Updated last year
- A set of utilities for exploring Solidity contracts☆1,175Jun 26, 2025Updated 8 months ago
- Guidelines and training material to write secure smart contracts☆2,457Jan 26, 2026Updated last month
- Simple Aragon App forwarder that requires a user to deposit fees before executing an action☆11Oct 26, 2020Updated 5 years ago
- Smart Contract Weakness Classification and Test Cases☆898Aug 6, 2024Updated last year
- An interactive Solidity Shell☆541May 28, 2023Updated 2 years ago
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆729Feb 16, 2026Updated 2 weeks ago
- mevETH LST Protocol - Repo has migrated see link☆26Mar 12, 2024Updated last year
- Solidity - Self-Balancing Binary Search Tree with Order Statistics☆79Oct 31, 2022Updated 3 years ago
- Connector apps for Aragon Voting☆14Nov 18, 2020Updated 5 years ago
- Mutation Testing for Ethereum Smart Contracts☆206Nov 21, 2023Updated 2 years ago
- Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village☆23Aug 13, 2021Updated 4 years ago
- Opinionated security and code quality standard for Solidity smart contracts.☆2,165Jul 2, 2023Updated 2 years ago
- Saltzer and Schroeder's 10 secure design principles as applied to solidity smart contracts.☆55Jan 31, 2022Updated 4 years ago
- Identify flashloan bots in multiple chains☆34Oct 26, 2022Updated 3 years ago
- Robust, Feature-Rich Solidity Template Repository for Foundry Projects with Scripting, Testing, and Utility Bash Scripts.☆386Mar 9, 2023Updated 2 years ago
- weird erc20 tokens☆1,679Jun 3, 2025Updated 9 months ago
- A collection of EVM puzzles☆846Aug 4, 2023Updated 2 years ago
- The Code repository for a Tutorial on deploying Compound style governance with HardHat☆47Aug 25, 2023Updated 2 years ago
- 💰One stop shop for Ethereum ABIs, addresses, and Solidity interfaces!☆1,028Dec 9, 2024Updated last year
- Web3 Security Toolbox☆73Apr 29, 2024Updated last year
- The weiroll virtual machine☆430Sep 27, 2022Updated 3 years ago
- Web3 provider for the Gas Station Network☆38Aug 5, 2020Updated 5 years ago
- Solidity language support and visual security auditor for Visual Studio Code☆600Jun 24, 2024Updated last year
- Simplify Ethereum security analysis and testing☆339Feb 14, 2025Updated last year
- Ethereum solidity graph plain debugger. To have the whole picture when debugging.☆354Mar 3, 2023Updated 3 years ago
- A symbolic testing tool for EVM smart contracts☆971Aug 6, 2025Updated 6 months ago
- Ethereum smart contract fuzzer☆3,085Updated this week
- A collection of common security issues and possible gas optimizations in solidity smart contracts☆156Oct 16, 2022Updated 3 years ago
- ☆10May 7, 2022Updated 3 years ago
- evm inception: the evm inside the evm via yul and solidity☆227Apr 19, 2023Updated 2 years ago
- Educational proof of concept code to showcase function clashing in Ethereum proxies☆17Aug 5, 2022Updated 3 years ago
- Dapp, Seth, Hevm, and more☆2,130Feb 25, 2025Updated last year
- A curated list of resources for Huff language☆315Jan 11, 2024Updated 2 years ago
- A Solidity smart contract auditing checklist☆365Mar 6, 2023Updated 2 years ago