"Recommended helper server for automating TeX to Lean conversions in GRAD-5 repository" matching MCP servers:

A production-grade MCP server for managing git projects, offering dynamic tool selection and enterprise-grade security.

Enables natural-language analysis of GitHub repositories by exposing repository metadata, source code retrieval, search, and file reading as MCP tools, with answers grounded in the actual repository content.

GitHub Repo Helper is a simple and beginner-friendly Model Context Protocol (MCP) server that takes a GitHub repository URL and returns a structured summary of the repo. It fetches metadata such as the repository name, description, languages used, README content (summarized), and dependency info

Git Helper AI - MCP server providing AI-powered tools and automation by MEOK AI Labs

Enables Claude to interact with git repositories by providing real-time access to repository status, branch information, commit history, and file changes. Allows users to query their git workspace through natural language commands.

A modular monolith MCP server connecting multiple providers (Redash, PostgreSQL, GitHub) with unified permission, security, and auditing, enabling secure data access and tool execution.

Enables AI models to access GitHub repository contents as context, with features to fetch entire repositories, specific file contents, and repository structures for use in AI interactions.

A Model Context Protocol server that provides tools for NPM package management, including dependency searching, updates, conflict resolution, and version management to help AI assistants safely upgrade project dependencies.

Turns GitHub repository history into a cited maintainer skill for coding agents, providing tools to collect evidence, query the knowledge graph, and inspect bundles.

MCP server that inspects Git repository changes, runs optional validation commands, and generates Markdown reports. Exposes a review_repository tool for AI clients to analyze repositories.

Converts Jenkins declarative pipelines into GitHub Actions workflow YAML files, facilitating migration from Jenkins to GitHub Actions CI/CD.

An MCP server that enables AI agents to retrieve detailed GitHub Pull Request information using git commit hashes, branch names, or PR numbers. It automatically detects repositories and extracts comprehensive PR data including descriptions, labels, and reviews via the GitHub CLI.

A server that allows AI assistants to browse and read files from specified GitHub repositories, providing access to repository contents via the Model Context Protocol.

Enables Large Language Models to analyze GitHub repositories in real-time, providing tools for retrieving repository information, analyzing issues, accessing documentation, and visualizing activity.

Enables AI clients to inspect Git repository changes, run allowlisted validation commands, and generate Markdown review reports via MCP, with validation disabled by default for security.

MCP server providing tools to read and write Jira Cloud issues, including a bridge to GitHub commits for tracing issues to code.

Enables AI agents to inspect Git repositories for changes across committed, staged, unstaged, and untracked scopes, and run allowlisted validation commands with structured results.

Provides tools and slash commands to onboard developers and manage DevOps workflows including Git operations, Docker containerization, GitHub Actions CI/CD, GitHub Container Registry, SonarCloud code analysis, and Azure container deployments.

Provides tools for analyzing code repositories, including structure, dependencies, and git history, with special support for Nostr-related projects.

Self-hosted MCP coding server and unified local Control Center for ChatGPT web, enabling file editing, command execution, Git operations, and optional upstream MCP tools with conversation access controls.