Buddy: Decentralized development automation