Decentralized prediction markets, now built for developers.