What AI says about Dapp.org

dapp.org is a research and development collective focused on safety and correctness in smart contract development. The organization has contributed to projects including MakerDAO's sai and dss, the dappsys library, and formal verification tools like hevm and klab.