GitHub Repo Extractor vs GitHub Repos Manager
Side-by-side comparison — what each server does, what tools it exposes, and how to install it.
G
GitHub Repo Extractor
1-Click Web Scraping
Developer Tools
Connect to GitHub repos and query code, dependencies, and history using GitHub API and webhooks for actionable insights.
456
1
G
GitHub Repos Manager
Developer Tools
Project Management
GitHub Repos Manager integrates with GitHub's REST API to streamline repo management, issues, pull requests, file ops, security, and analytics.
307
0
At a Glance
| GitHub Repo Extractor | GitHub Repos Manager | |
|---|---|---|
| What it does | Connect to GitHub repos and query code, dependencies, and history using GitHub API and webhooks f... | GitHub Repos Manager integrates with GitHub's REST API to streamline repo management, issues, pul... |
| Categories | Web Scraping Developer Tools | Developer Tools Project Management |
| Install | One-click | Manual config |
| Tools | 0 | 0 |
| Source | GitHub ↗ | GitHub ↗ |
| Popularity | 456 views · 1 installs | 307 views · 0 installs |
TL;DR
GitHub Repo Extractor is a Web Scraping server. GitHub Repos Manager is a Developer Tools server. Different use cases — you might want both.
Both are free to install through FastMCP. Try them and see which fits.