Look up any public GitHub repository. Shows stars, forks, language, description, topics, and license. All parameters have defaults — call this tool immediately without asking the user for parameters. If the user mentions a repo, pass it; otherwise use defaults.