Inconsistent parameter names

Open Beginner friendly
  • Is something wrong?
#3,605 1 comment 0 reactions 0 assignees View on GitHub

Maintainers usually reply within 2 days

@huong8373tt-beep is already working on this.

Since Oct 30, 2026.

  • #3630 by @huong8373tt-beep — open

Assessment

Difficulty
2/5
Estimated time
1-3 hours
Newbie friendliness
66/100
Issue type
Bug
Clarity
Mostly clear
Activity status
Active
Tech stack
go
Domain
api

Research direction

The report shows parameter name mismatches for the pull_request_read and issue_read tools: the supplied names differ from the required names in the errors. Start by locating these tool definitions and their argument validation in the Go code. Align the accepted parameter names with the documented inputs, then confirm both example calls no longer return missing-parameter errors.

Written by the indexing model from the issue text.

Description

bug tool-improvement

mcp call:

first:

{
  "Arguments": {
    "method": "get",
    "owner": "tauri-apps",
    "pull_number": 16225,
    "repo": "tauri"
  },
  "ServerName": "github",
  "ToolName": "pull_request_read"
}
output:

{
  "type": "TOOL_ERROR",
  "message": "missing required parameter: pullNumber"
}

second:

{
  "Arguments": {
    "issueNumber": 16223,
    "method": "get",
    "owner": "tauri-apps",
    "repo": "tauri"
  },
  "ServerName": "github",
  "ToolName": "issue_read"
}
output
{
  "type": "TOOL_ERROR",
  "message": "missing required parameter: issue_number"
}
Image Image
Dominant language
Go
Stars
34.2k
Forks
5.3k
Avg merge
5d 18h
Merged PRs (30d)
13

Getting set up

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

More from github/github-mcp-server

All issues in github/github-mcp-server

Similar issues

More Go issues

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.