"Tools and Systems for Math, AI, and Proof Verification with Bug Detection and Auto Fixing" matching MCP servers:

Enables multiple agents to file, label, comment on, and close issues in a shared git-bug store while the git-bug web UI remains open, with rule enforcement and safe concurrent writes.

A FastMCP-based server designed for the banking and fintech domains, providing tools for database queries, Git operations, and deployment management. It features a modular architecture with reusable prompt templates and integrated security practices for sensitive data handling.

Enables searching GitHub users and repositories, fetching details, and performing stock market technical analysis via AlphaVantage.

MCP server that triages GitHub issues by classifying, ranking priority, and assigning an engineer using a local LLM (Ollama) with full traceability.

Local MCP server for AI agents that enables Jira issue management, Confluence Wiki page creation and editing, Git commit analysis, and diagram generation.

Analyzes git repository changes to generate conventional commit messages and summaries using OpenAI's GPT-4o-mini. It provides detailed tracking of modified, added, and deleted files to streamline the version control process.

A Python framework that exposes developer tools through MCP, REST API, and CLI from a single shared registry, enabling AI assistants, HTTP clients, and terminal users to access the same tools.

Enables deterministic GitHub issue and pull request delivery workflows, including issue creation, development, verification, PR publication, review, and merge, with strict configuration and admission controls.

Analyzes git changes in repositories and generates conventional commit messages using OpenAI's GPT models, supporting both staged and unstaged changes with detailed summaries.

Gives any MCP-compatible AI chat or agent a safe, model-neutral coding runtime with file read/search, structured multi-file patches, command execution, interactive sessions, and git operations, all confined to a single workspace and gated by permission modes.

Enables interactive GitHub pull-request review from Claude Code, with tools to fetch PRs, inspect files and repo structure, post review comments, and query a RAG index of the codebase.

Aggregates GitHub, GitLab, and Figma development tools via MCP, enabling file access, code search, and design inspection. Also supports executing standalone tasks with Claude Code or Codex CLI.

Provides AI coding assistants with tools to run git status, recent commits, tests, and linter on a real repository.

Enables AI agents to perform GitHub analytics and management tasks, including repository analysis, PR summarization, issue triage, release notes generation, and contributor statistics.

Enables AI agents to analyze local Git repositories with commit logs, diffs, blame, statistics, and branch analysis using native git commands without requiring a GitHub API.

A read-only MCP server providing SQLite querying, port checking, and git diff summary tools for local development.

A modular multi-server architecture providing development automation, JIRA management, and performance reporting for Claude Code. It features specialized tools for PR health analysis, code reviews, and generating comprehensive team and individual quarterly reports.

An MCP server that automates code reviews through linting, testing, and git diff analysis. It also generates conventional commit messages and detailed pull request descriptions based on file changes and code patterns.

Enables AI agents to turn local projects into persistent workspaces, providing file editing, command execution, Git integration, and cross-session history management.

A small MCP server for course experiments that provides tools to read recent commits from public GitHub repositories.