defi-wonderland / natspec-smells
👃Automatically identify missing or incomplete natspec
☆93Updated last month
Alternatives and similar repositories for natspec-smells:
Users that are interested in natspec-smells are comparing it to the libraries listed below
- Solidity Audit Report Generator☆85Updated last year
- Exercises for the Yield 2022 Mentorship progam☆61Updated 3 years ago
- ☆61Updated last year
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆125Updated 7 months ago
- Diagrams for Solidity contracts☆47Updated last year
- ☆55Updated last year
- ☆51Updated 4 months ago
- Readiness Assessment for CARE Endeavour☆51Updated last year
- Solidity snippets too edgy to be in Solady☆113Updated 8 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- A forkable template repo for easily writing and testing toy contracts☆59Updated 3 weeks ago
- Practical tips for building secure smart contracts at every stage, from the initial design to deployment☆52Updated 3 weeks ago
- ☆130Updated 10 months ago
- A forkable template repo for easily writing and testing toy contracts☆148Updated last year
- A simple template to perform whitehacks safely☆178Updated last year
- APG (Auditor Profile Generator)☆35Updated last year
- Examples for Branching Tree Technique, a simple specification framework for writing structured Solidity tests☆76Updated last year
- ☆69Updated last week
- Diff your Github against Etherscan.☆138Updated last week
- ☆102Updated 2 years ago
- ☆36Updated last year
- List of Halmos resources.☆54Updated 2 months ago
- ☆80Updated 8 months ago
- ☆56Updated last year
- CTF challenges made by MiloTruck☆68Updated 7 months ago
- Console.log utility for debugging huff contracts☆68Updated last year
- Foundry version of Diamond Pattern (EIP-2535) reference implementation☆81Updated last year
- A template repo to work with huff smart contracts and learn about low level EVM opcodes. Also Horse ♘.☆103Updated 2 years ago
- ☆114Updated last year
- ☆101Updated 2 years ago