setup_agent_session

Active

declared in 2.0.0

One-shot tool that guides you through the complete agent setup: checks prerequisites, creates the controller VM, and returns next steps. Ideal for first-time setup. Call this when a user says 'set up autocoding agents for my repo'.

Parameters schema

{
  "type": "object",
  "$schema": "http://json-schema.org/draft-07/schema#",
  "required": [
    "github_pat",
    "repo"
  ],
  "properties": {
    "repo": {
      "type": "string",
      "minLength": 1,
      "description": "GitHub repo, e.g. 'owner/repo'"
    },
    "github_pat": {
      "type": "string",
      "minLength": 1,
      "description": "GitHub Personal Access Token (repo + workflow scopes)"
    }
  },
  "additionalProperties": false
}

What this tool wraps· 0 endpoints

min confidence0.70 0.50

No endpoints wrapped at confidence ≥ 0.50.

Parent server

cloud.redu/mcp

1/7 registries

View full server →