Mechanized Sisyphus