Worked on the dstackai/dstack repository to address a critical reliability issue in VerdaCompute’s provisioning logic. Focused on backend development and API integration using Python, the work involved fixing a bug where spot offers were incorrectly marked as unavailable if on-demand capacity was lacking. The solution updated the availability query to consider both spot and on-demand inventories and keyed the availability map by instance name, region, and spot status. This change improved the accuracy of provisioning decisions, ensuring spot capacity was utilized when available and reducing failures. Unit testing was applied to validate the fix and maintain robust resource allocation.