Thread by @ethereumintern_

the ethereum smart contract developer is a creature of skill, determination, and coffee. but even that can't build good dapps without tooling.

a bunch of libraries, frameworks, or other tools that may be useful for you as a dev 👇

1/15

tevm: a library built on the viem API allowing local transaction simulation and deeper typescript-solidity integration



2/15tevm.sh

foundry: the best smart contract development framework i've ever used, and likely you also use it too. it's blazing fast and you can write your unit tests, fuzz tests, invariant tests and deployment scripts in solidity!



3/15getfoundry.sh

halmos: a formal verification tool by a16z. you can write foundry-style tests in solidity and halmos can symbolically execute it to find holes in your implementation. very useful for security.

halmos operates on bytecode, meaning it can prove assembly, unlike the next formal verification tool...



4/15github.com/a16z/halmos

smtchecker: the solidity compiler already comes with its own formal verification tool built in, it's called SMTChecker!

while halmos operates on bytecode, SMTChecker operates on source code. however, this one can prove inductive invariants and invariants across multiple transactions



5/15docs.soliditylang.org/en/latest/smtc…

bulloak: the branching tree technique, invented by @PaulRBerg, is a useful one for designing well thought out tests. bulloak is a tool that generates solidity scaffolds for your tests from these branching trees.



6/15github.com/alexfertel/bul…

EQL: EVM Query Language is an SQL-like language designed for querying blockchain data. you can use it to fetch relational data from EVM chains, under the hood it turns queries into JSON-RPC requests



7/15github.com/iankressin/eql

whatsabi: guess the ABI of a smart contract, even unverified ones. it can pull data from etherscan, sourcify, openchain; match known function selectors to function names and resolve proxies. all that in a typescript package you can use on the browser

even if you don't use it, you gotta be impressed by it. useful for procedural frontends, bytecode analysis, and more



8/15github.com/shazow/whatsabi

ponder: an easy-to-use indexer for crypto apps with faster indexing than subgraphs; SQL, GraphQL and custom API queries; and horizontal scaling.



9/15ponder.sh

swiss knife: it's an all-in-one multitool, just like a swiss knife. built by @apoorveth, it's got a universal calldata decoder, chain explorer, unit converter, cheatsheet of useful constants, timestamp converter, custom transaction sender, storage slot queries, uniswap v3 tick to price calculator, and more.



10/15swiss-knife.xyz

chisel: technically a part of foundry, but worth mentioning on its own. it's a solidity REPL where you can quickly test out solidity code and see how things evaluate. very useful for learning about ABI encoding!



11/15getfoundry.sh

wagmi/viem: very useful tools made by @wevm_dev. viem is a blockchain interaction library like ethers, while wagmi is a set of react hooks that can be used in your app!

as a wagmi user, i can say that it's definitely got a very good developer experience.



12/15wagmi.sh

openzeppelin contracts: okay, this one is a thing everyone knows, but i thought it was worth explicitly stating. incredible solidity development library that implements a lot of standards, leaving you free to work on your protocol logic.



13/15openzeppelin.com/contracts

solady: i'm sooooOoOoOo...... it's a set of snippets by the genius @optimizoor designed to be as gas-efficient as possible while being secure. unlike openzeppelin, it doesn't really have docs: the code is the docs.

not for the noobs or the faint of heart. stick with openzeppelin if you're new.



14/15github.com/Vectorized/sol…

that's a wrap! there are so many more cool dev tools out there, and you should always keep on searching and improving your development skills and knowledge.

until next time,

ethereum intern out

15/15