ai-coding-gym-mcp 0.1.0__tar.gz → 0.1.3__tar.gz

{ai_coding_gym_mcp-0.1.0 → ai_coding_gym_mcp-0.1.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ai-coding-gym-mcp
-Version: 0.1.0
+Version: 0.1.3
 Summary: MCP server for AI Coding Gym - fetch and submit coding challenges
 Home-page: https://github.com/yourusername/ai-coding-gym-mcp
 Author: AICodingGym Team
@@ -63,10 +63,7 @@ Add to your Claude Desktop config (`~/Library/Application Support/Claude/claude_
   "mcpServers": {
     "ai-coding-gym": {
       "command": "python",
-      "args": ["-m", "server"],
-      "env": {
-        "AI_CODING_GYM_SERVER": "https://your-server-url.com"
-      }
+      "args": ["-m", "server"]
     }
   }
 }
@@ -86,30 +83,48 @@ python server.py
 
 Or configure it in your MCP client settings (e.g., Claude Desktop).
 
+### Tool: `/configure`
+
+Configure the MCP server with your user ID. This generates an SSH key pair and registers it with the server.
+
+**Parameters:**
+- `user_id` (required): Your user ID for authentication
+- `workspace_dir` (optional): Default workspace directory (default: `"./workspace"`)
+
+**Example:**
+```json
+{
+  "user_id": "user_123",
+  "workspace_dir": "./workspace"
+}
+```
+
+**What it does:**
+1. Generates an SSH key pair locally (stored in `~/.mcp-keys/`)
+2. Sends the public key to the server
+3. Receives your repository name
+4. Stores configuration for future use
+
 ### Tool: `/fetch`
 
 Fetches a problem from the backend and clones the repository locally.
 
 **Parameters:**
 - `problem_id` (required): Problem identifier (e.g., `"django__django-10097"`)
-- `user_id` (required): Your user ID for authentication
-- `server_url` (optional): Backend server URL (default: `"https://api.example.com"`)
+- `user_id` (optional): Your user ID (uses configured value if not provided)
 - `workspace_dir` (optional): Local workspace directory (default: `"./workspace"`)
 
 **Example:**
 ```json
 {
-  "problem_id": "django__django-10097",
-  "user_id": "user_123",
-  "server_url": "https://ai-coding-gym.example.com"
+  "problem_id": "django__django-10097"
 }
 ```
 
 **What it does:**
-1. Calls backend API to get repository URL and deployment key
-2. Clones the repository to `workspace/{problem_id}/`
-3. Checks out the problem-specific branch
-4. Saves the problem statement to `PROBLEM_STATEMENT.md`
+1. Uses your SSH key from `/configure` to access the repository
+2. Clones only the specific problem branch (shallow clone)
+3. Sets up the workspace at `workspace/{problem_id}/`
 
 ### Tool: `/submit`
 
@@ -117,15 +132,13 @@ Submits your solution by committing changes and pushing to the remote repository
 
 **Parameters:**
 - `problem_id` (required): Problem identifier
-- `user_id` (required): Your user ID for authentication
-- `server_url` (optional): Backend server URL (default: `"https://api.example.com"`)
+- `user_id` (optional): Your user ID (uses configured value if not provided)
 - `commit_message` (optional): Custom commit message
 
 **Example:**
 ```json
 {
   "problem_id": "django__django-10097",
-  "user_id": "user_123",
   "commit_message": "Fixed the authentication bug"
 }
 ```
@@ -138,25 +151,22 @@ Submits your solution by committing changes and pushing to the remote repository
 
 ## Backend API Endpoints
 
-The MCP server expects the following backend API endpoints:
+The MCP server connects to the hardcoded AI Coding Gym server and uses the following endpoints:
 
-### POST `/api/fetch-problem`
+### POST `/api/configure`
 
 **Request:**
 ```json
 {
-  "problem_id": "django__django-10097",
-  "user_id": "user_123"
+  "user_id": "user_123",
+  "public_key": "ssh-rsa AAAAB3..."
 }
 ```
 
 **Response:**
 ```json
 {
-  "repo_url": "git@github.com:org/repo.git",
-  "branch": "django__django-10097-user_123",
-  "deploy_key": "-----BEGIN OPENSSH PRIVATE KEY-----\n...\n-----END OPENSSH PRIVATE KEY-----",
-  "problem_statement": "# Problem Description\n\n..."
+  "repo_name": "user_123-swebench"
 }
 ```
 
@@ -183,23 +193,16 @@ The MCP server expects the following backend API endpoints:
 
 ## Security
 
-- Deployment keys are stored in `~/.mcp-keys/` with 600 permissions
-- Keys are scoped per problem and managed by the backend
+- User SSH keys are stored in `~/.mcp-keys/` with 600 permissions
+- Keys are generated locally and public key is shared with the server
 - SSH host key checking is disabled for convenience (consider enabling in production)
-- Credentials are cached in memory during the MCP server session
-
-## Configuration
-
-Default server URL is `https://api.example.com`. You can override it by passing `server_url` parameter to each tool call, or set it via environment variable:
-
-```bash
-export AI_CODING_GYM_SERVER="https://your-server.com"
-```
+- Configuration is cached in memory during the MCP server session
 
 ## Troubleshooting
 
 **"No credentials found for problem_id"**
-- Run `/fetch` first to download the problem and credentials
+- Run `/configure` first to set up your credentials
+- Then run `/fetch` to download the problem
 
 **"Git clone/push failed"**
 - Check network connectivity

{ai_coding_gym_mcp-0.1.0 → ai_coding_gym_mcp-0.1.3}/README.md

@@ -37,10 +37,7 @@ Add to your Claude Desktop config (`~/Library/Application Support/Claude/claude_
   "mcpServers": {
     "ai-coding-gym": {
       "command": "python",
-      "args": ["-m", "server"],
-      "env": {
-        "AI_CODING_GYM_SERVER": "https://your-server-url.com"
-      }
+      "args": ["-m", "server"]
     }
   }
 }
@@ -60,30 +57,48 @@ python server.py
 
 Or configure it in your MCP client settings (e.g., Claude Desktop).
 
+### Tool: `/configure`
+
+Configure the MCP server with your user ID. This generates an SSH key pair and registers it with the server.
+
+**Parameters:**
+- `user_id` (required): Your user ID for authentication
+- `workspace_dir` (optional): Default workspace directory (default: `"./workspace"`)
+
+**Example:**
+```json
+{
+  "user_id": "user_123",
+  "workspace_dir": "./workspace"
+}
+```
+
+**What it does:**
+1. Generates an SSH key pair locally (stored in `~/.mcp-keys/`)
+2. Sends the public key to the server
+3. Receives your repository name
+4. Stores configuration for future use
+
 ### Tool: `/fetch`
 
 Fetches a problem from the backend and clones the repository locally.
 
 **Parameters:**
 - `problem_id` (required): Problem identifier (e.g., `"django__django-10097"`)
-- `user_id` (required): Your user ID for authentication
-- `server_url` (optional): Backend server URL (default: `"https://api.example.com"`)
+- `user_id` (optional): Your user ID (uses configured value if not provided)
 - `workspace_dir` (optional): Local workspace directory (default: `"./workspace"`)
 
 **Example:**
 ```json
 {
-  "problem_id": "django__django-10097",
-  "user_id": "user_123",
-  "server_url": "https://ai-coding-gym.example.com"
+  "problem_id": "django__django-10097"
 }
 ```
 
 **What it does:**
-1. Calls backend API to get repository URL and deployment key
-2. Clones the repository to `workspace/{problem_id}/`
-3. Checks out the problem-specific branch
-4. Saves the problem statement to `PROBLEM_STATEMENT.md`
+1. Uses your SSH key from `/configure` to access the repository
+2. Clones only the specific problem branch (shallow clone)
+3. Sets up the workspace at `workspace/{problem_id}/`
 
 ### Tool: `/submit`
 
@@ -91,15 +106,13 @@ Submits your solution by committing changes and pushing to the remote repository
 
 **Parameters:**
 - `problem_id` (required): Problem identifier
-- `user_id` (required): Your user ID for authentication
-- `server_url` (optional): Backend server URL (default: `"https://api.example.com"`)
+- `user_id` (optional): Your user ID (uses configured value if not provided)
 - `commit_message` (optional): Custom commit message
 
 **Example:**
 ```json
 {
   "problem_id": "django__django-10097",
-  "user_id": "user_123",
   "commit_message": "Fixed the authentication bug"
 }
 ```
@@ -112,25 +125,22 @@ Submits your solution by committing changes and pushing to the remote repository
 
 ## Backend API Endpoints
 
-The MCP server expects the following backend API endpoints:
+The MCP server connects to the hardcoded AI Coding Gym server and uses the following endpoints:
 
-### POST `/api/fetch-problem`
+### POST `/api/configure`
 
 **Request:**
 ```json
 {
-  "problem_id": "django__django-10097",
-  "user_id": "user_123"
+  "user_id": "user_123",
+  "public_key": "ssh-rsa AAAAB3..."
 }
 ```
 
 **Response:**
 ```json
 {
-  "repo_url": "git@github.com:org/repo.git",
-  "branch": "django__django-10097-user_123",
-  "deploy_key": "-----BEGIN OPENSSH PRIVATE KEY-----\n...\n-----END OPENSSH PRIVATE KEY-----",
-  "problem_statement": "# Problem Description\n\n..."
+  "repo_name": "user_123-swebench"
 }
 ```
 
@@ -157,23 +167,16 @@ The MCP server expects the following backend API endpoints:
 
 ## Security
 
-- Deployment keys are stored in `~/.mcp-keys/` with 600 permissions
-- Keys are scoped per problem and managed by the backend
+- User SSH keys are stored in `~/.mcp-keys/` with 600 permissions
+- Keys are generated locally and public key is shared with the server
 - SSH host key checking is disabled for convenience (consider enabling in production)
-- Credentials are cached in memory during the MCP server session
-
-## Configuration
-
-Default server URL is `https://api.example.com`. You can override it by passing `server_url` parameter to each tool call, or set it via environment variable:
-
-```bash
-export AI_CODING_GYM_SERVER="https://your-server.com"
-```
+- Configuration is cached in memory during the MCP server session
 
 ## Troubleshooting
 
 **"No credentials found for problem_id"**
-- Run `/fetch` first to download the problem and credentials
+- Run `/configure` first to set up your credentials
+- Then run `/fetch` to download the problem
 
 **"Git clone/push failed"**
 - Check network connectivity

{ai_coding_gym_mcp-0.1.0 → ai_coding_gym_mcp-0.1.3}/ai_coding_gym_mcp.egg-info/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ai-coding-gym-mcp
-Version: 0.1.0
+Version: 0.1.3
 Summary: MCP server for AI Coding Gym - fetch and submit coding challenges
 Home-page: https://github.com/yourusername/ai-coding-gym-mcp
 Author: AICodingGym Team
@@ -63,10 +63,7 @@ Add to your Claude Desktop config (`~/Library/Application Support/Claude/claude_
   "mcpServers": {
     "ai-coding-gym": {
       "command": "python",
-      "args": ["-m", "server"],
-      "env": {
-        "AI_CODING_GYM_SERVER": "https://your-server-url.com"
-      }
+      "args": ["-m", "server"]
     }
   }
 }
@@ -86,30 +83,48 @@ python server.py
 
 Or configure it in your MCP client settings (e.g., Claude Desktop).
 
+### Tool: `/configure`
+
+Configure the MCP server with your user ID. This generates an SSH key pair and registers it with the server.
+
+**Parameters:**
+- `user_id` (required): Your user ID for authentication
+- `workspace_dir` (optional): Default workspace directory (default: `"./workspace"`)
+
+**Example:**
+```json
+{
+  "user_id": "user_123",
+  "workspace_dir": "./workspace"
+}
+```
+
+**What it does:**
+1. Generates an SSH key pair locally (stored in `~/.mcp-keys/`)
+2. Sends the public key to the server
+3. Receives your repository name
+4. Stores configuration for future use
+
 ### Tool: `/fetch`
 
 Fetches a problem from the backend and clones the repository locally.
 
 **Parameters:**
 - `problem_id` (required): Problem identifier (e.g., `"django__django-10097"`)
-- `user_id` (required): Your user ID for authentication
-- `server_url` (optional): Backend server URL (default: `"https://api.example.com"`)
+- `user_id` (optional): Your user ID (uses configured value if not provided)
 - `workspace_dir` (optional): Local workspace directory (default: `"./workspace"`)
 
 **Example:**
 ```json
 {
-  "problem_id": "django__django-10097",
-  "user_id": "user_123",
-  "server_url": "https://ai-coding-gym.example.com"
+  "problem_id": "django__django-10097"
 }
 ```
 
 **What it does:**
-1. Calls backend API to get repository URL and deployment key
-2. Clones the repository to `workspace/{problem_id}/`
-3. Checks out the problem-specific branch
-4. Saves the problem statement to `PROBLEM_STATEMENT.md`
+1. Uses your SSH key from `/configure` to access the repository
+2. Clones only the specific problem branch (shallow clone)
+3. Sets up the workspace at `workspace/{problem_id}/`
 
 ### Tool: `/submit`
 
@@ -117,15 +132,13 @@ Submits your solution by committing changes and pushing to the remote repository
 
 **Parameters:**
 - `problem_id` (required): Problem identifier
-- `user_id` (required): Your user ID for authentication
-- `server_url` (optional): Backend server URL (default: `"https://api.example.com"`)
+- `user_id` (optional): Your user ID (uses configured value if not provided)
 - `commit_message` (optional): Custom commit message
 
 **Example:**
 ```json
 {
   "problem_id": "django__django-10097",
-  "user_id": "user_123",
   "commit_message": "Fixed the authentication bug"
 }
 ```
@@ -138,25 +151,22 @@ Submits your solution by committing changes and pushing to the remote repository
 
 ## Backend API Endpoints
 
-The MCP server expects the following backend API endpoints:
+The MCP server connects to the hardcoded AI Coding Gym server and uses the following endpoints:
 
-### POST `/api/fetch-problem`
+### POST `/api/configure`
 
 **Request:**
 ```json
 {
-  "problem_id": "django__django-10097",
-  "user_id": "user_123"
+  "user_id": "user_123",
+  "public_key": "ssh-rsa AAAAB3..."
 }
 ```
 
 **Response:**
 ```json
 {
-  "repo_url": "git@github.com:org/repo.git",
-  "branch": "django__django-10097-user_123",
-  "deploy_key": "-----BEGIN OPENSSH PRIVATE KEY-----\n...\n-----END OPENSSH PRIVATE KEY-----",
-  "problem_statement": "# Problem Description\n\n..."
+  "repo_name": "user_123-swebench"
 }
 ```
 
@@ -183,23 +193,16 @@ The MCP server expects the following backend API endpoints:
 
 ## Security
 
-- Deployment keys are stored in `~/.mcp-keys/` with 600 permissions
-- Keys are scoped per problem and managed by the backend
+- User SSH keys are stored in `~/.mcp-keys/` with 600 permissions
+- Keys are generated locally and public key is shared with the server
 - SSH host key checking is disabled for convenience (consider enabling in production)
-- Credentials are cached in memory during the MCP server session
-
-## Configuration
-
-Default server URL is `https://api.example.com`. You can override it by passing `server_url` parameter to each tool call, or set it via environment variable:
-
-```bash
-export AI_CODING_GYM_SERVER="https://your-server.com"
-```
+- Configuration is cached in memory during the MCP server session
 
 ## Troubleshooting
 
 **"No credentials found for problem_id"**
-- Run `/fetch` first to download the problem and credentials
+- Run `/configure` first to set up your credentials
+- Then run `/fetch` to download the problem
 
 **"Git clone/push failed"**
 - Check network connectivity

{ai_coding_gym_mcp-0.1.0 → ai_coding_gym_mcp-0.1.3}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "ai-coding-gym-mcp"
-version = "0.1.0"
+version = "0.1.3"
 description = "MCP server for AI Coding Gym - fetch and submit coding challenges"
 readme = "README.md"
 requires-python = ">=3.10"

{ai_coding_gym_mcp-0.1.0 → ai_coding_gym_mcp-0.1.3}/server.py

@@ -33,7 +33,7 @@ CONFIGURE_TOOL = Tool(
     name="configure",
     description="Configure global settings for the MCP server. Generates an SSH key pair locally, "
                 "sends the public key to the server, and receives your repository name. "
-                "Set your user_id, server_url, and optional api_key once. "
+                "Set your user_id once. "
                 "These values will be used as defaults for all fetch and submit operations.",
     inputSchema={
         "type": "object",
@@ -42,20 +42,12 @@ CONFIGURE_TOOL = Tool(
                 "type": "string",
                 "description": "Your user ID for authentication with the backend server"
             },
-            "server_url": {
-                "type": "string",
-                "description": "Backend server URL (e.g., 'https://api.example.com')"
-            },
-            "api_key": {
-                "type": "string",
-                "description": "API key for backend authentication (optional)"
-            },
             "workspace_dir": {
                 "type": "string",
                 "description": "Default workspace directory for cloning repositories (optional)"
             }
         },
-        "required": ["user_id", "server_url"]
+        "required": ["user_id"]
     }
 )
 
@@ -74,10 +66,6 @@ FETCH_TOOL = Tool(
                 "type": "string",
                 "description": "Your user ID (optional if configured globally via /configure)"
             },
-            "server_url": {
-                "type": "string",
-                "description": "Backend server URL (optional if configured globally)"
-            },
             "workspace_dir": {
                 "type": "string",
                 "description": "Local directory to clone the repository into (optional)"
@@ -102,10 +90,6 @@ SUBMIT_TOOL = Tool(
                 "type": "string",
                 "description": "Your user ID (optional if configured globally via /configure)"
             },
-            "server_url": {
-                "type": "string",
-                "description": "Backend server URL (optional if configured globally)"
-            },
             "commit_message": {
                 "type": "string",
                 "description": "Custom commit message (optional)"
@@ -208,11 +192,10 @@ def run_git_command(cmd: str, cwd: str, key_path: Optional[Path] = None) -> subp
 # Tool implementations
 async def configure(
     user_id: str,
-    server_url: str,
-    api_key: Optional[str] = None,
     workspace_dir: Optional[str] = None
 ) -> str:
     """Configure global settings for the MCP server."""
+    server_url = DEFAULT_SERVER_URL
     try:
         # Generate SSH key pair
         private_key_path, public_key = generate_ssh_key_pair(user_id)
@@ -224,9 +207,6 @@ async def configure(
             "public_key": public_key
         }
         
-        if api_key:
-            payload["api_key"] = api_key
-        
         response = requests.post(api_endpoint, json=payload, timeout=30)
         response.raise_for_status()
         data = response.json()
@@ -237,22 +217,16 @@ async def configure(
         
         # Store configuration
         config_store["user_id"] = user_id
-        config_store["server_url"] = server_url
         config_store["repo_name"] = repo_name
         config_store["private_key_path"] = str(private_key_path)
         
-        if api_key:
-            config_store["api_key"] = api_key
-        
         if workspace_dir:
             config_store["workspace_dir"] = workspace_dir
         
         return f"""Configuration saved successfully!
 
 User ID: {user_id}
-Server URL: {server_url}
 Repository: {repo_name}
-API Key: {'Set' if api_key else 'Not set'}
 Workspace: {workspace_dir or 'Default (./workspace)'}
 SSH Key: {private_key_path}
 
@@ -269,7 +243,6 @@ You can now use /fetch and /submit without passing these parameters.
 async def fetch_problem(
     problem_id: str,
     user_id: Optional[str] = None,
-    server_url: Optional[str] = None,
     workspace_dir: Optional[str] = None
 ) -> str:
     """
@@ -278,7 +251,6 @@ async def fetch_problem(
     try:
         # Use configured values if not provided
         user_id = user_id or config_store.get("user_id") or infer_user_id_from_keys()
-        server_url = server_url or config_store.get("server_url") or DEFAULT_SERVER_URL
         workspace_dir = workspace_dir or config_store.get("workspace_dir", "./workspace")
         repo_name = config_store.get("repo_name")
         
@@ -310,7 +282,6 @@ async def fetch_problem(
             "repo_url": repo_url,
             "branch": branch,
             "user_id": user_id,
-            "server_url": server_url,
             "private_key_path": private_key_path
         }
         
@@ -365,7 +336,6 @@ You can now start working on the solution!
 async def submit_solution(
     problem_id: str,
     user_id: Optional[str] = None,
-    server_url: Optional[str] = None,
     commit_message: Optional[str] = None
 ) -> str:
     """
@@ -374,15 +344,11 @@ async def submit_solution(
     try:
         # Use configured values if not provided
         user_id = user_id or config_store.get("user_id") or infer_user_id_from_keys()
-        server_url = server_url or config_store.get("server_url") or DEFAULT_SERVER_URL
         commit_message = commit_message or ""
         
         if not user_id:
             return "Error: Could not determine user_id. Please run /configure first to set up your credentials."
         
-        if not server_url:
-            return "Error: server_url is required. Please run /configure first or pass it as a parameter."
-        
         # Check if we have cached credentials
         if problem_id not in credentials_store:
             return f"Error: No credentials found for {problem_id}. Please run /fetch first."
@@ -439,7 +405,7 @@ async def submit_solution(
             return f"Error: Git push failed:\n{result.stderr}"
         
         # Notify backend server
-        api_endpoint = f"{server_url}/api/submit"
+        api_endpoint = f"{DEFAULT_SERVER_URL}/api/submit"
         payload = {
             "problem_id": problem_id,
             "user_id": user_id,
@@ -448,10 +414,6 @@ async def submit_solution(
             "timestamp": datetime.now().isoformat()
         }
         
-        # Add API key if configured
-        if config_store.get("api_key"):
-            payload["api_key"] = config_store["api_key"]
-        
         response = requests.post(api_endpoint, json=payload, timeout=30)
         response.raise_for_status()
         
@@ -485,8 +447,6 @@ async def call_tool(name: str, arguments: Any) -> list[TextContent]:
         if name == "configure":
             result = await configure(
                 user_id=arguments["user_id"],
-                server_url=arguments["server_url"],
-                api_key=arguments.get("api_key"),
                 workspace_dir=arguments.get("workspace_dir")
             )
             return [TextContent(type="text", text=result)]
@@ -495,7 +455,6 @@ async def call_tool(name: str, arguments: Any) -> list[TextContent]:
             result = await fetch_problem(
                 problem_id=arguments["problem_id"],
                 user_id=arguments.get("user_id"),
-                server_url=arguments.get("server_url"),
                 workspace_dir=arguments.get("workspace_dir")
             )
             return [TextContent(type="text", text=result)]
@@ -504,7 +463,6 @@ async def call_tool(name: str, arguments: Any) -> list[TextContent]:
             result = await submit_solution(
                 problem_id=arguments["problem_id"],
                 user_id=arguments.get("user_id"),
-                server_url=arguments.get("server_url"),
                 commit_message=arguments.get("commit_message")
             )
             return [TextContent(type="text", text=result)]

{ai_coding_gym_mcp-0.1.0 → ai_coding_gym_mcp-0.1.3}/setup.py

@@ -5,7 +5,7 @@ with open("README.md", "r", encoding="utf-8") as fh:
 
 setup(
     name="ai-coding-gym-mcp",
-    version="0.1.0",
+    version="0.1.3",
     author="AICodingGym Team",
     author_email="datasmithlab@gmail.com",
     description="MCP server for AI Coding Gym - fetch and submit AI coding challenges",