Lightweight coordination server for autonomous AI coding agents — task claiming, file locks, message passing, and health monitoring over REST