Execution failed: Failed to refresh MCP tools for server github-mcp-server; the last catalog is stale

Abierto
#4,077 1 comentario 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

Evaluación

Dificultad
4/5
Tiempo estimado
3-5 días
Aptitud para principiantes
45/100
Tipo de issue
Error
Claridad
Necesita aclaración
Estado de actividad
Activo
Stack tecnológico
github

Línea de trabajo

Start in the GitHub Copilot app at /chat on Windows 10.0.26200 with app version 1.1.22, invoking github-mcp-server-web_search repeatedly and comparing the behavior with the Copilot CLI. Done means the MCP tool invokes reliably without the stale-catalog or GitHub credential-registration error.

Escrito por el modelo de indexación a partir del texto del issue.

Descripción

Using the GitHub copilot app in the past week, most of the time when a session tries to use the "github-mcp-server-web_search" tool, it fails, and the tool gives the following error response:

"MCP tool catalog changed before tool "github-mcp-server-web_search" could be invoked: Failed to verify cached MCP tools: MCP request failed: Transport send error: Transport [mcp::client::ToolListRevisionTransport<rmcp::transport::worker::WorkerTransport<rmcp::transport::streamable_http_client::StreamableHttpClientWorker<mcp::client::DiscoverFallbackHttpClient<mcp::dynamic_headers::HeaderRefreshHttpClientmcp::client::RawCapturingReqwestClient>>>>] error: unexpected server response: dynamic header provider failed: GitHub credential registration is no longer available for this session"

Then, the agent will give the following message:

Execution failed: Failed to refresh MCP tools for server github-mcp-server; the last catalog is stale.

This does not happen EVERY time... just most of the time. This just started happening about a week ago. The copilot CLI never has this problem. It works every time.

I have tried refreshing my GitHub auth, restarting the app, reinstalling the app. Nothing works.

Has anyone else experienced this?


Field Value
App version 1.1.22
OS Windows 10.0.26200
Theme GitHub
Path /chat
Tenure Week 16
Lenguaje dominante
Sin datos de lenguaje
Estrellas
2.1k
Forks
157
Métricas de merge de PR
Sin PR fusionados en 30 d

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Más de github/app

Todos los issues de github/app

Issues similares

Más issues de Security

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.