"Step-by-step guide to breaking down a request into parts" matching MCP servers:

Enables MCP clients to perform step-level process reward evaluation, MCTS-guided reasoning search, hallucination branch pruning, and formal verification for complex math, code, and logic problems.

Analyzes Git pull request diffs to detect breaking REST and GraphQL API schema changes, providing deterministic AST-level code review and breaking change alerts for CI/CD workflows.

Enables automated semantic analysis of Git pull request diffs to detect breaking REST/GraphQL API schema changes, integrating with MCP-compatible clients for AI-driven code review.

Provides access to clean code guide documents and enables code quality inspection of external project files based on coding standards and best practices.

Enables coding agents and developers to detect SemVer 2.0 breaking changes by statically diffing Python AST public API surfaces, catching removed exports, parameter reordering, and other incompatible signature shifts. It returns deterministic refactoring plans and dependency graph metrics without any external pip dependencies.

Enables autonomous coding agents to audit source-code changes for SemVer 2.0 breaking changes by inspecting AST public API surface diffs, parameter reordering, and removed exports. Produces deterministic refactoring plans and dependency metrics using only the Python standard library.

Enables structured, iterative reasoning for complex problem-solving with features like confidence tracking, revision mechanisms, and branching support. Provides flexible validation and multiple output formats for systematic analysis and decision-making tasks.

A validation layer for AI coding assistants that enforces explicit LLM evaluations on plans, code diffs, and tests to ensure safer and higher-quality code.

A runtime-free MCP server that converts source code into AST🌲, regardless of language.

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

Enables Claude to use Google Gemini as a secondary AI through MCP for large-scale codebase analysis and complex reasoning tasks. Supports both Gemini Flash and Pro models with specialized functions for general queries and comprehensive code analysis.

Enables automated migration of Vue projects to React with intelligent analysis, task management, and learning from user modifications.

Enables coding agents to locate the right files and conventions in a Next.js project in a single call, drastically reducing token usage compared to searching.

Provides professional C++ code style checking, best practices analysis, and modern C++ upgrade suggestions with tools for naming conventions, memory safety, const correctness, and access to comprehensive C++ style documentation.

Codebase Q&A agent with git-history awareness. Explore a repo with list_files, read_file, and search, plus git log, blame, and diff and a repo map to answer "why did this change?" questions. Runs locally as an MCP server for Claude Code and other MCP clients.

Enables AI coding agents to extract Figma design data and convert it into Flutter widgets and screens. Supports theme setup, component analysis, asset exports, and provides Flutter implementation guidance from Figma designs.

Enables AI assistants to analyze project folders for dependencies and frameworks and fetch current documentation or datasheets from the web.

MCP server that guides LLM security reviews step-by-step, tracking progress and ensuring all assigned source code is read before completing each plan step.

Enables users to scan a website, project folder or HTML file for generic AI-generated copy, template design and unfinished details, scoring each finding with file-and-line evidence and a per-page breakdown. It turns the results into phased, step-by-step repair plans that Claude, Cursor and other AI tools can apply, then re-measures the score after each change.

An MCP toolkit for algorithm learning that enables AI agents to search problems, generate step-by-step hints, analyze code, and create review templates for Baekjoon and Programmers problems.

Enables migration of test automation projects from WebDriverIO to Playwright using AST-based transformations. Provides tools for analyzing tests, converting syntax, refactoring to Page Object Model, and generating migration reports.

Converts vector PDF circuit schematics into evidence-preserving SchematicIR JSON with tools to inspect, convert, and validate schematic PDFs.

A lean, local knowledge graph that joins a repo's code to its aSPARK delivery artifacts, enabling agents to trace user stories to code and assess impact of changes, served over MCP.

Enables MCP clients such as Claude Desktop or Cursor to inspect a coffee-shop sales database schema, validate SQL, and run guarded read-only queries. It supports natural-language questions by exposing tools for schema description, SQL checking, and safe query execution.

Enables executing arbitrary Joern/CPGQL queries against a loaded Code Property Graph, loading source code in multiple languages (PHP, Java, JavaScript, Python, C/C++) to build new CPGs, and inspecting loaded projects and the active workspace. It communicates with a running Joern server over its synchronous HTTP query endpoint, so no state polling is required.

Lets a local AI agent scan a repository to map user flows against their Playwright end-to-end coverage, stand up and tear down a Docker-based local test environment, and write or run the missing specs. It also embeds video, trace, and step-list evidence into a local viewer synced to the flow graph.

This MCP server enables developers and AI clients to investigate public GitHub pull requests by gathering objective pull request metadata, categorized change maps, heuristic risk signals, real CI check evidence, and traced issue context. It synthesizes these facts into an evidence-linked Review Dossier with a prioritized 3–5 step reviewer route, clearly separating verified facts from unverified hypotheses.

Zero-dependency MCP server inspector for protocol conformance, tool annotations, and capability checks.

Verificate combines 17 applications each designed to address a separate issue with AI Coding supported with a Frontier AI Model. This allows you to Vibe Code with confidence and even dropped down to a more basic model with a better outcome.

Enables LLMs to efficiently navigate and analyze large diff files by providing pattern-based chunk navigation, allowing direct access to relevant changes without loading entire diffs into context.