GitHub repository: 2926295173/MAGI
Description: MAGI is an semantic searcher over GitHub.