server made

README.md

@@ -7,6 +7,4 @@ sdk: gradio
 sdk_version: 5.45.0
 app_file: app.py
 pinned: false
----
-
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
+---

app.py

@@ -0,0 +1,215 @@
+"""
+GitHub MCP Server with Gradio Interface
+Provides GitHub repository scanning and file content access via MCP
+"""
+
+import json
+import os
+import base64
+from typing import Dict, List
+import requests
+import gradio as gr
+from dotenv import load_dotenv
+
+# Load environment variables
+load_dotenv()
+
+class GitHubMCPServer:
+    """GitHub MCP Server for repository scanning and file access"""
+    
+    def __init__(self):
+        self.github_token = os.getenv("GITHUB_TOKEN")
+        if not self.github_token:
+            raise ValueError("GITHUB_TOKEN environment variable is required")
+        
+        self.headers = {
+            "Authorization": f"token {self.github_token}",
+            "Accept": "application/vnd.github.v3+json"
+        }
+    
+    def get_repository_info(self, owner: str, repo: str) -> str:
+        """Get basic repository information"""
+        try:
+            url = f"https://api.github.com/repos/{owner}/{repo}"
+            response = requests.get(url, headers=self.headers)
+            
+            if response.status_code == 200:
+                data = response.json()
+                result = {
+                    "success": True,
+                    "data": {
+                        "name": data["name"],
+                        "full_name": data["full_name"],
+                        "description": data.get("description", ""),
+                        "language": data.get("language", ""),
+                        "size": data["size"],
+                        "stars": data["stargazers_count"],
+                        "forks": data["forks_count"],
+                        "default_branch": data["default_branch"],
+                        "created_at": data["created_at"],
+                        "updated_at": data["updated_at"]
+                    }
+                }
+            else:
+                result = {
+                    "success": False,
+                    "error": f"GitHub API error: {response.status_code}"
+                }
+            
+            return json.dumps(result, indent=2)
+            
+        except Exception as e:
+            return json.dumps({"success": False, "error": str(e)}, indent=2)
+    
+    def get_file_content(self, owner: str, repo: str, path: str) -> str:
+        """Get content of a specific file"""
+        try:
+            url = f"https://api.github.com/repos/{owner}/{repo}/contents/{path}"
+            response = requests.get(url, headers=self.headers)
+            
+            if response.status_code == 200:
+                data = response.json()
+                if data["type"] == "file" and "content" in data:
+                    # Decode base64 content
+                    content = base64.b64decode(data["content"]).decode('utf-8')
+                    result = {
+                        "success": True,
+                        "data": {
+                            "path": path,
+                            "content": content[:2000] + "..." if len(content) > 2000 else content,  # Truncate for display
+                            "size": len(content),
+                            "sha": data["sha"],
+                            "encoding": data.get("encoding", "base64")
+                        }
+                    }
+                else:
+                    result = {
+                        "success": False,
+                        "error": "Not a file or content not available"
+                    }
+            else:
+                result = {
+                    "success": False,
+                    "error": f"GitHub API error: {response.status_code}"
+                }
+            
+            return json.dumps(result, indent=2)
+            
+        except Exception as e:
+            return json.dumps({"success": False, "error": str(e)}, indent=2)
+    
+    def scan_repository(self, owner: str, repo: str, extensions: str = ".py,.js,.ts,.php,.java") -> str:
+        """Scan repository for code files"""
+        try:
+            ext_list = [ext.strip() for ext in extensions.split(",")]
+            all_files = []
+            self._scan_directory_sync(owner, repo, "", ext_list, all_files)
+            
+            result = {
+                "success": True,
+                "data": {
+                    "total_files": len(all_files),
+                    "files": all_files[:50]  # Limit to first 50 files for display
+                }
+            }
+            
+            return json.dumps(result, indent=2)
+            
+        except Exception as e:
+            return json.dumps({"success": False, "error": str(e)}, indent=2)
+    
+    def _scan_directory_sync(self, owner: str, repo: str, path: str, extensions: List[str], all_files: List[Dict]):
+        """Recursively scan directory for files"""
+        try:
+            url = f"https://api.github.com/repos/{owner}/{repo}/contents/{path}"
+            response = requests.get(url, headers=self.headers)
+            
+            if response.status_code == 200:
+                data = response.json()
+                for item in data:
+                    if item["type"] == "file":
+                        if any(item["name"].endswith(ext) for ext in extensions):
+                            all_files.append({
+                                "name": item["name"],
+                                "path": item["path"],
+                                "type": item["type"],
+                                "size": item.get("size", 0),
+                                "sha": item["sha"]
+                            })
+                    elif item["type"] == "dir" and len(all_files) < 100:
+                        self._scan_directory_sync(owner, repo, item["path"], extensions, all_files)
+        except Exception:
+            pass
+
+# Initialize the GitHub MCP server
+github_server = GitHubMCPServer()
+
+# Create Gradio interface
+with gr.Blocks(title="GitHub MCP Server", theme=gr.themes.Soft()) as demo:
+    gr.Markdown("# 🐙 GitHub MCP Server")
+    gr.Markdown("Access GitHub repositories via Model Context Protocol")
+    
+    with gr.Tabs():
+        with gr.Tab("Repository Info"):
+            gr.Markdown("### Get Repository Information")
+            with gr.Row():
+                repo_owner = gr.Textbox(label="Repository Owner", placeholder="octocat")
+                repo_name = gr.Textbox(label="Repository Name", placeholder="Hello-World")
+            
+            repo_info_btn = gr.Button("Get Repository Info", variant="primary")
+            repo_info_output = gr.Textbox(label="Repository Information", lines=15)
+            
+            repo_info_btn.click(
+                fn=github_server.get_repository_info,
+                inputs=[repo_owner, repo_name],
+                outputs=repo_info_output
+            )
+        
+        with gr.Tab("File Content"):
+            gr.Markdown("### Get File Content")
+            with gr.Row():
+                file_owner = gr.Textbox(label="Repository Owner", placeholder="octocat")
+                file_repo = gr.Textbox(label="Repository Name", placeholder="Hello-World")
+            
+            file_path = gr.Textbox(label="File Path", placeholder="README.md")
+            
+            file_content_btn = gr.Button("Get File Content", variant="primary")
+            file_content_output = gr.Textbox(label="File Content", lines=20)
+            
+            file_content_btn.click(
+                fn=github_server.get_file_content,
+                inputs=[file_owner, file_repo, file_path],
+                outputs=file_content_output
+            )
+        
+        with gr.Tab("Repository Scanner"):
+            gr.Markdown("### Scan Repository for Code Files")
+            with gr.Row():
+                scan_owner = gr.Textbox(label="Repository Owner", placeholder="octocat")
+                scan_repo = gr.Textbox(label="Repository Name", placeholder="Hello-World")
+            
+            scan_extensions = gr.Textbox(
+                label="File Extensions", 
+                value=".py,.js,.ts,.php,.java",
+                placeholder=".py,.js,.ts,.php,.java"
+            )
+            
+            scan_btn = gr.Button("Scan Repository", variant="primary")
+            scan_output = gr.Textbox(label="Scan Results", lines=20)
+            
+            scan_btn.click(
+                fn=github_server.scan_repository,
+                inputs=[scan_owner, scan_repo, scan_extensions],
+                outputs=scan_output
+            )
+    
+    gr.Markdown("---")
+    gr.Markdown("💡 **Setup**: Add your `GITHUB_TOKEN` to environment variables or `.env` file")
+    gr.Markdown("🚀 **Deploy**: This server can be deployed on Hugging Face Spaces with MCP support")
+
+if __name__ == "__main__":
+    print("🚀 Starting GitHub MCP Server with Gradio...")
+    print("📡 Server will provide GitHub repository access via MCP")
+    print("🛠️ Available tools: repository info, file content, repository scanner")
+    
+    demo.launch(mcp_server=True)

requirements.txt

@@ -0,0 +1,3 @@
+gradio>=4.0.0
+requests>=2.28.0
+python-dotenv>=1.0.0