{"name":"github-intel","version":"1.0.0","tools":[{"name":"get_repo_stats","description":"Get detailed stats for any public GitHub repository: stars, forks, issues, language, topics, license, last push date, and popularity tier. Input: owner and repo name (e.g. owner='facebook', repo='react').","inputSchema":{"type":"object","properties":{"owner":{"type":"string","description":"GitHub username or org (e.g. 'openai')"},"repo":{"type":"string","description":"Repository name (e.g. 'gpt-4')"}},"required":["owner","repo"]}},{"name":"search_repos","description":"Search public GitHub repositories by keyword, topic, or language. Returns top 10 matching repos with stars, description, and language. Sort by 'stars', 'forks', or 'updated'.","inputSchema":{"type":"object","properties":{"query":{"type":"string","description":"Search query (e.g. 'ai agents python', 'topic:machine-learning language:typescript')"},"sort":{"type":"string","enum":["stars","forks","updated"],"description":"Sort order (default: stars)"}},"required":["query"]}},{"name":"get_user_profile","description":"Get a GitHub user or organization's profile: name, bio, follower count, public repos count, member since date, and their top 5 starred repos.","inputSchema":{"type":"object","properties":{"username":{"type":"string","description":"GitHub username or org name (e.g. 'anthropics', 'torvalds')"}},"required":["username"]}}]}