"bat" matching MCP servers:

MCP server that decomposes tasks into plans with disjoint file boundaries, validates overlaps, and creates git worktrees with a ready prompt per plan.

Local repo-intelligence MCP for coding agents: indexes source, symbols, call graphs, git/GitHub history, and source-bound repo memories into local database.

A read-only remote MCP gateway that lets MCP-capable agents discover GitHub REST endpoints and run many read-only GitHub reads (files, issues, comments, pull requests, checks) inside a single sandboxed JavaScript execution, returning only the compact result needed. This cuts model/tool round trips and context use, with enforced read-only access, repository allowlisting, and GitHub App authentication.

Automates routine DevOps tasks like Jenkins builds and GitLab merge requests through the MCP protocol, simplifying daily operations.

A collaborative code and markdown review tool that bridges human reviewers and AI agents, enabling both to browse files, inspect git diffs, leave structured comments, and save a final review report from the same UI in real time.

Enables founder ops assistants to retrieve LinkedIn-style news digests, GitHub repository hygiene, and daily operations briefs generated via Amazon Bedrock, through natural language over Streamable HTTP.

Automated MCP server that listens for Hugging Face discussion comments, extracts ML tags, and creates pull requests to update model metadata.

Enables ChatGPT Web Developer Mode to interact with local repositories through MCP, providing tools for file editing, shell execution, Git worktrees, semantic navigation, and checkpoints.

Enables high-level GitHub workflows such as cloning, branching, committing, pushing, creating pull requests and issues, all verified step-by-step via git and gh CLI.