"Methods for breaking down and thinking systematically about questions" matching MCP servers:

A Model Context Protocol server that helps programmers understand code by providing explanations, tech stack analysis, and best practice suggestions through prompt templates.

Integrates Google's Gemini AI models into Claude Code and other MCP clients to provide second opinions, code comparisons, and token counting. It supports streaming responses and multi-turn conversations directly within your existing AI development workflow.

Provides AI agents with ground-truth knowledge of Strapi projects by reading real schema files, enabling accurate queries and safe refactoring operations.

Uses Claude as an independent second-model reviewer inside Codex, performing reviews on disposable Git snapshots with structured findings.

Enables Claude Code to leverage OpenAI models for expert code review, deep architecture analysis, and security audits, with automatic markdown report generation.

MCP server giving Claude (and any MCP-compatible client) live access to SAP systems via ADT for reading, searching, editing, and activating ABAP objects.

MCP server that brings Trustabl static reliability scanning into Cursor, letting agents inventory agents/tools, flag risky patterns, score production readiness, and write SARIF reports.

An MCP server for interacting with the Rell Language Server Protocol interface. It enables LLMs to query LSP Hover and Completion providers for Rell projects.

An MCP server that empowers AI coding agents to work effectively with Minecraft mod development, providing static analysis of decompiled source code and runtime interaction with a running Minecraft instance.

locidx

A version-agnostic MCP server for Odoo that enables AI agents to interact with any Odoo app's data, schema, and source code, supporting tasks like data CRUD, schema mapping, code analysis, and feature implementation.

An intelligent, agentic MCP server gateway to OpenRouter's 200+ AI models. It provides budget controls, security features, semantic memory, and code search capabilities.

Enables LLM-powered agents to generate, execute, and analyze Alloy modeling language code for software modeling and formal verification. Provides tools to run Alloy models, access documentation and examples, and generate models from system descriptions.

Enterprise-grade MCP server for SAP ABAP development, enabling AI-powered coding assistance through Amazon Q Developer and Kiro with 15 SAP development tools.

Provides token-efficient code retrieval for coding agents by indexing repositories and enabling ranked snippet search, symbol outlines, and surgical line reads.

An MCP server that provides a semantic index and 14 bounded tools for AI agents to navigate Excel workbooks by symbols, references, and diagnostics, avoiding the need to read entire rows.

Enables AI assistants to interact with VS Code for language intelligence, debugging, and code execution.

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

Enables asking natural-language questions about any GitHub repository and receiving answers grounded in the actual code, with read-only enforcement and automatic repository fetching.

truth is a deterministic fact-checker for the claims an AI coding agent makes about its own work.