[plan] Add GitHub MCP read_issue capability to Dev workflow

[github-actions]

Objective

Fix the missing-tool error in the Dev workflow by adding GitHub MCP server configuration with read_issue capability.

Context

The Dev workflow encountered a missing-tool error (run #20435819459) when attempting to read issue information. The workflow needs GitHub MCP server access to read repository issues.

Reference: Run #20435819459

Approach

1. Locate the Dev workflow file (.github/workflows/dev.md)
2. Add GitHub MCP server configuration to the tools section:

   tools:
     github:
       mode: remote
       toolsets: [default]

3. Verify the configuration includes read_issue permissions
4. Test by triggering the workflow with a scenario that requires reading issues
5. Confirm no missing-tool errors occur

Files to Modify

• .github/workflows/dev.md (or the specific Dev workflow file)

Acceptance Criteria

• GitHub MCP server configured in Dev workflow
• read_issue capability available
• Workflow can successfully read repository issues
• No missing-tool errors in test runs
• Configuration follows MCP-first access patterns
  Related to [plan] Address workflow health and issue triage findings from DeepReport 2025-12-22 #7280

AI generated by Plan Command for discussion #7277