Grep a million GitHub repositories via MCP | Dark Hacker News