Contradictory parameter definition in ListMyReposTool #11
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Bug: Contradictory Parameter Definition
Issue Description
In
operation/repo/repo.go, theListMyReposToolhas contradictory parameter definitions that specify bothmcp.Required()ANDmcp.DefaultNumber()for the same parameters. This is logically inconsistent - a parameter cannot be both required and have a default value.Current Code (lines ~176-182)
Problem
mcp.Required()means the parameter must be provided by the usermcp.DefaultNumber()means the parameter has a default value if not providedExpected Behavior
Parameters should either be:
mcp.DefaultNumber()mcp.Required()Recommendation
Based on similar patterns in other modules (
list_repo_issues,list_repo_labels, etc.), pagination parameters should be optional with defaults:Impact
Related Issues
This was discovered while investigating issue #10 regarding redundant default value handling patterns.