Grep a million GitHub repositories via MCP | Hacker News Reader