Introducing Khalani: The Decentralized Solver Infrastructure