ai-coding-gym-mcp 0.1.1__py3-none-any.whl → 0.1.3__py3-none-any.whl

{ai_coding_gym_mcp-0.1.1.dist-info → ai_coding_gym_mcp-0.1.3.dist-info}/METADATA

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: ai-coding-gym-mcp
-Version: 0.1.1
+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.3.dist-info/RECORD

@@ -0,0 +1,6 @@
+server.py,sha256=CPUOvS60mwvBa7iSFGkUhFvfi2sB8DAJr1eHqB1MJYQ,16939
+ai_coding_gym_mcp-0.1.3.dist-info/METADATA,sha256=mf71-4IFxeRbyuRF8FyW--PmJ76-2i_95T5v6y4WAjU,6223
+ai_coding_gym_mcp-0.1.3.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
+ai_coding_gym_mcp-0.1.3.dist-info/entry_points.txt,sha256=O_Ya91fge6V-bwpf4oace2eFB2asJVEE4Oe3fWcL6dY,50
+ai_coding_gym_mcp-0.1.3.dist-info/top_level.txt,sha256=StKOSmRhvWS5IPcvhsDRbtxUTEofJgYFGOu5AAJdSWo,7
+ai_coding_gym_mcp-0.1.3.dist-info/RECORD,,

server.py

@@ -66,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)"
@@ -94,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)"
@@ -225,7 +217,6 @@ 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)
         
@@ -235,7 +226,6 @@ async def configure(
         return f"""Configuration saved successfully!
 
 User ID: {user_id}
-Server URL: {server_url}
 Repository: {repo_name}
 Workspace: {workspace_dir or 'Default (./workspace)'}
 SSH Key: {private_key_path}
@@ -253,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:
     """
@@ -262,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")
         
@@ -294,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
         }
         
@@ -349,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:
     """
@@ -358,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."
@@ -423,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,
@@ -473,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)]
@@ -482,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.1.dist-info/RECORD

@@ -1,6 +0,0 @@
-server.py,sha256=wuol2aas5zY1-DP6c5JMfcve46xYPdX95ygo_pCCqEs,17875
-ai_coding_gym_mcp-0.1.1.dist-info/METADATA,sha256=sGOqY3YC9Xwck1o0au2DeiQHsGM-puJnTGYzyEPg12Q,6377
-ai_coding_gym_mcp-0.1.1.dist-info/WHEEL,sha256=wUyA8OaulRlbfwMtmQsvNngGrxQHAvkKcvRmdizlJi0,92
-ai_coding_gym_mcp-0.1.1.dist-info/entry_points.txt,sha256=O_Ya91fge6V-bwpf4oace2eFB2asJVEE4Oe3fWcL6dY,50
-ai_coding_gym_mcp-0.1.1.dist-info/top_level.txt,sha256=StKOSmRhvWS5IPcvhsDRbtxUTEofJgYFGOu5AAJdSWo,7
-ai_coding_gym_mcp-0.1.1.dist-info/RECORD,,