最近一段时间在我的老Win11电脑上折腾了一下OpenClaw，因为系统问题，感觉用起来总是差点意思。想问问各位佬有没有什么小主机推荐的，预算一套下来800以内。目前考虑的是2013年左右的二手Macmini。求各位佬给下意见