Hyrax - 通过经过验证、经人工批准的更改,持续理解和改进现代代码库。