Greppy – A drop-in grep with code-nav subcommands for AI agents · HackerLangs