{"library":"hol-guard","install":[{"cmd":"pip install hol-guard","imports":["from hol_guard import HOLGuard"]}]}