Aragon provides web3 users with a software stack, which is a collection of tools that can be used to build a solution or platform—in this case, DAOs. Its base layer is called Aragon OSx, which is made up of two types of smart contracts.