Show HN: Grove, a formal workflow protocol for long-running AI coding agents