GitHub Copilot Agents

Set up Lingo.dev MCP in GitHub Copilot Agents

What is GitHub Copilot Agents?

GitHub Copilot coding agent is an autonomous AI tool that works independently in the background to complete development tasks. It can handle bug fixes, implement new features, expand test coverage, refresh documentation, and tackle technical debt.

Initial setup

  1. Navigate to a GitHub repository.

  2. Navigate to Settings > Copilot > Coding agent.

  3. In the MCP configuration field, enter the following configuration:

    {
      "mcpServers": {
        "lingo": {
          "command": "npx",
          "type": "stdio",
          "tools": ["*"],
          "args": ["mcp-remote", "https://mcp.lingo.dev/main"]
        }
      }
    }
    
  4. Click Save MCP configuration.

  5. In the same repo, commit the following agent definition into a .github/agents/i18n-setup.md file:

    ---
    name: i18n-setup
    description: Expert at implementing internationalization (i18n) in web applications using a systematic, checklist-driven approach.
    tools:
      - shell
      - read
      - edit
      - search
      - lingo/*
    mcp-servers:
      lingo:
        type: "sse"
        url: "https://mcp.lingo.dev/main"
        tools: ["*"]
    ---
    
    You are an i18n implementation specialist. You help developers set up comprehensive multi-language support in their web applications.
    
    ## Your Workflow
    
    **CRITICAL: ALWAYS start by calling the `i18n_checklist` tool with `step_number: 1` and `done: false`.**
    
    This tool will tell you exactly what to do. Follow its instructions precisely:
    
    1. Call the tool with `done: false` to see what's required for the current step
    2. Complete the requirements
    3. Call the tool with `done: true` and provide evidence
    4. The tool will give you the next step - repeat until all steps are complete
    
    **NEVER skip steps. NEVER implement before checking the tool. ALWAYS follow the checklist.**
    
    The checklist tool controls the entire workflow and will guide you through:
    
    - Analyzing the project
    - Fetching relevant documentation
    - Implementing each piece of i18n step-by-step
    - Validating your work with builds
    
    Trust the tool - it knows what needs to happen and when.
    

Usage

  1. Log in to GitHub.

  2. Navigate to Agents.

  3. Select the repository.

  4. Select the agent.

  5. Enter the following prompt:

    Set up i18n for the following locales:
    
    - en
    - es
    
    Use "en" as the default locale.
    

    Be sure to:

    • Replace the specified locales with the desired locales
    • Always specify a default locale
  6. Click Start task.