🔍 ¿Qué hace esta skill?

Este servidor MCP en Python actúa como puente entre tu IA de coding y fuentes verificables. Busca código real en GitHub, extrae documentación oficial y compila código Rust localmente, todo vía stdio, para que la IA contraste información antes de generar respuestas.

🐙
Búsqueda en GitHub
Encuentra código fuente real y firmas de funciones en repositorios específicos usando la API de GitHub con autenticación PAT.
📄
Scraping de documentación
Extrae texto y bloques de código de páginas oficiales, omitiendo navegación y menús, convertido a Markdown limpio.
🦀
Validación de Rust
Compila código Rust en un entorno temporal con cargo check para detectar errores de tipado y sintaxis antes de entregarlo.
🧠
Vibe coding sin alucinaciones
Permite que IAs como Qwen o Kimi K2.6 verifiquen APIs y sintaxis en tiempo real, evitando respuestas basadas en datos desactualizados.

⚙️ Cómo instalar

1
Instala la skill con un comando
Copia y pega este comando en tu terminal para descargar el SKILL.md directamente en tu carpeta de skills de Claude:
curl -o ~/.claude/skills/servidor-mcp-verificacion-codigo.md "https://skillshubmcp.com/?s=servidor-mcp-verificacion-codigo"
2
Instalar dependencias de Python
Asegúrate de tener Python instalado y prepara el entorno para la librería oficial mcp y dependencias de scraping HTTP.
pip install mcp requests beautifulsoup4
3
Configurar el PAT de GitHub
Crea un Personal Access Token de solo lectura en GitHub y configúralo en el servidor mediante variable de entorno o archivo de configuración.
export GITHUB_PAT=tu_token_de_solo_lectura
4
Implementar el servidor MCP
Crea el script Python que expone las tres herramientas (buscar_codigo_github, obtener_documentacion_url, validar_y_compilar_rust) comunicándose vía stdio con el cliente IA.
5
Verificar Rust instalado
Asegúrate de tener Rust y Cargo instalados para que la herramienta de validación pueda ejecutar cargo check en el directorio temporal.
rustc --version && cargo --version
6
Conectar con tu cliente IA
Inicia el servidor MCP como proceso local y configura tu cliente (Qwen, Kimi K2.6 u otro compatible) para que se comunique con el script vía stdio.

💬 Ejemplos de uso

🐙 Buscar trait en GitHub
Crea un servidor MCP con la herramienta buscar_codigo_github que busque 'Application trait' en el repositorio pop-os/libcosmic y devuelva los fragmentos de código relevantes.
📄 Scrapear documentación
Implementa la herramienta obtener_documentacion_url que extraiga el contenido de docs.rs de una crate específica y lo convierta a Markdown limpio omitiendo navegación.
🦀 Validar código Rust erróneo
Usa validar_y_compilar_rust para verificar este código: fn main() { let x: String = 42; } y devuelve el stderr de cargo check.
🧠 Servidor MCP completo
Crea un servidor MCP en Python vía stdio que exponga las tres herramientas: búsqueda en GitHub, scraping de documentación y validación de Rust, con manejo de errores que nunca rompa el servidor.

🛠️ Características

✅
Comunicación vía stdio Servidor local exclusivamente sobre flujos estándar, sin puertos de red, SSE ni HTTP. Compatible con clientes MCP locales.
✅
Manejo de errores robusto Toda falla se traduce en un mensaje en lenguaje natural dentro de una respuesta MCP válida. El servidor nunca se rompe con excepciones no capturadas.
✅
Límite de tokens controlado Cada respuesta se recorta si supera los 30.000–40.000 caracteres, garantizando que la IA reciba contenido manejable sin saturar el contexto.
✅
Rate limiting de GitHub Intercepta respuestas HTTP 403 y devuelve un mensaje claro de rate limiting sin reintentos automáticos. Máximo 2–3 resultados relevantes.
✅
Compilación efímera segura Crea directorios temporales que se limpian automáticamente tras ejecutar cargo check con un timeout de 15 segundos, omitiendo warnings irrelevantes.

❓ Preguntas frecuentes

Es un servidor que implementa el protocolo Model Context Protocol para actuar como puente entre una IA y herramientas externas. En este caso, permite que la IA acceda a código real, documentación y compilación para verificar información antes de generar respuestas.
Porque los clientes MCP locales como Qwen o Kimi K2.6 leen y escriben directamente sobre los flujos estándar del script. Esto evita abrir puertos de red y mantiene la comunicación local y segura.
El servidor intercepta la respuesta HTTP 403 y devuelve un mensaje en lenguaje natural indicando que se alcanzó el rate limiting. No implementa paginación ni reintentos automáticos; la IA decide cómo proceder.
Toda falla (timeout, red caída, código inválido) se captura y se traduce en un mensaje descriptivo en lenguaje natural dentro de una respuesta MCP válida. El servidor nunca lanza excepciones no capturadas y deja a la IA la decisión de reintentar.
Servidor MCP de Verificación de Código

¿Prefieres escuchar el contenido? Genera la narración de audio con un clic.