Servidor MCP de Dev-Kit
👁 PyPI - Versión Python
👁 versión
👁 Licencia
👁 Sistema operativo
👁 Sistema operativo
👁 Sistema operativo
👁 Pruebas
👁 Comprobaciones de código
👁 código decodificador
👁 Fallar
👁 Último compromiso
Un servidor de Protocolo de Contexto de Modelo (MCP) diseñado para herramientas de desarrollo de agentes, que proporciona operaciones autorizadas con alcance en el directorio raíz del proyecto. Este paquete permite la ejecución segura de operaciones como la ejecución de comandos de makefile, el traslado y la eliminación de archivos, y está previsto que incluya más herramientas de edición de código. Es un excelente servidor MCP para VS-Code Copilot y otras herramientas de desarrollo asistidas por IA.
Características
🔒 Operaciones seguras : ejecute operaciones dentro de un directorio raíz autorizado y con alcance
🛠️ Ejecución de comandos Makefile : ejecute comandos Makefile de forma segura dentro del proyecto
📁 Operaciones con archivos : mover, crear, renombrar y eliminar archivos dentro del directorio autorizado
🔄 Operaciones de Git : Realice operaciones de Git como estado, agregar, confirmar, enviar, extraer y verificar
🔌 Integración MCP : Convierte cualquier base de código en un sistema compatible con MCP
🤖 Desarrollo asistido por IA : Excelente integración con VS-Code Copilot y otras herramientas de IA
🔄 Marco extensible : agregue fácilmente nuevas herramientas para la edición de código y otras operaciones
🚀 Rendimiento rápido : Creado con FastMCP para un alto rendimiento
Related MCP server: DevDb MCP Server
Instalación
pip install dev-kit-mcp-serverUso
Ejecución del servidor
# Recommended method (with root directory specified)
dev-kit-mcp-server --root-dir=workdir
# Alternative methods
uv run python -m dev_kit_mcp_server.mcp_server --root-dir=workdir
python -m dev_kit_mcp_server.mcp_server --root-dir=workdirEl parámetro --root-dir especifica el directorio donde se realizarán las operaciones con archivos. Esto es importante por razones de seguridad, ya que restringe las operaciones con archivos únicamente a este directorio.
Herramientas disponibles
El servidor proporciona las siguientes herramientas:
Operaciones con archivos
create_dir : Crea directorios dentro del directorio raíz autorizado
edit_file : edita archivos reemplazando las líneas entre las líneas de inicio y final especificadas con texto nuevo
move_dir : Mover archivos y directorios dentro del directorio raíz autorizado
remove_file : Elimina archivos dentro del directorio raíz autorizado
rename_file : cambia el nombre de los archivos y directorios dentro del directorio raíz autorizado
Operaciones de Git
git_status : obtiene el estado del repositorio Git (archivos modificados, archivos no rastreados, etc.)
git_add : Agregar archivos al índice de Git (área de preparación)
git_commit : Confirmar cambios en el repositorio Git
git_push : envía cambios a un repositorio Git remoto
git_pull : Extraer cambios desde un repositorio Git remoto
git_checkout : Extrae o crea una rama en el repositorio Git
git_diff : muestra diferencias entre confirmaciones, confirmaciones y árbol de trabajo, etc.
Operaciones de Makefile
exec_make_target : Ejecuta comandos makefile de forma segura dentro del proyecto
Ejemplo de uso con el cliente MCP
from fastmcp import Client
async def example():
async with Client() as client:
# List available tools
tools = await client.list_tools()
# File Operations
# Create a directory
result = await client.call_tool("create_dir", {"path": "new_directory"})
# Move a file
result = await client.call_tool("move_dir", {"path1": "source.txt", "path2": "destination.txt"})
# Remove a file
result = await client.call_tool("remove_file", {"path": "file_to_remove.txt"})
# Rename a file
result = await client.call_tool("rename_file", {"path": "old_name.txt", "new_name": "new_name.txt"})
# Edit a file
result = await client.call_tool("edit_file", {
"path": "file_to_edit.txt",
"start_line": 2,
"end_line": 4,
"text": "This text will replace lines 2-4"
})
# Git Operations
# Get repository status
result = await client.call_tool("git_status")
# Add files to the index
result = await client.call_tool("git_add", {"paths": ["file1.txt", "file2.txt"]})
# Commit changes
result = await client.call_tool("git_commit", {"message": "Add new files"})
# Pull changes from remote
result = await client.call_tool("git_pull", {"remote": "origin", "branch": "main"})
# Push changes to remote
result = await client.call_tool("git_push")
# Checkout a branch
result = await client.call_tool("git_checkout", {"branch": "feature-branch", "create": True})
# Makefile Operations
# Run a makefile command
result = await client.call_tool("exec_make_target", {"commands": ["test"]})Desarrollo
Configuración
# Clone the repository
git clone https://github.com/DanielAvdar/dev-kit-mcp-server.git
cd dev-kit-mcp-server
# Install development dependencies
pip install -e ".[dev]"
# Run tests
pytestContribuyendo
¡Agradecemos sus contribuciones! No dude en enviar una solicitud de incorporación de cambios.
Licencia
Este proyecto está licenciado bajo la licencia MIT: consulte el archivo de LICENCIA para obtener más detalles.
Maintenance
Appeared in Searches
Latest Blog Posts
MCP directory API
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/DanielAvdar/dev-kit-mcp-server'
If you have feedback or need assistance with the MCP directory API, please join our Discord server
