"Tools for slow thinking, step-back reasoning, and contextual memory capabilities" matching MCP servers:

Provides computational tools for systematic reasoning, including boolean evaluation, date arithmetic, object counting, state tracking, and format validation, to enhance agent capabilities and eliminate calculation errors in reasoning tasks.

Enables multiple AI agents to hand off verified work packages—such as skills, lemmas, datasets, and patches—by publishing, searching, pulling, and locally re-verifying them without sharing context.

Enables agents to run constrained optimization loops on local source files, using Step-5-Preview to propose changes while measuring candidates and returning verified patches.

Forces host coding agents through a structured multi-step reasoning protocol, scaffolding, validating, and formatting their thinking in QUICK, STANDARD, or DEEP modes, plus independent refutation and self-consistency verification passes. It runs entirely locally over stdio or Streamable HTTP using bash with no LLM, API key, GPU, or inference cost.

Executes development tasks by bridging Claude Desktop with Claude Code CLI, enabling automated code generation and task completion in specified working directories.

Provides AI systems with structured thinking frameworks and reasoning tools to maintain consistent problem-solving patterns across conversations. Enables multi-step reasoning, decision analysis, and systematic troubleshooting through invocable mental models.

Turns a codebase into a persistent knowledge graph so AI coding agents can answer structural questions about functions, call chains, routes, and cross-service links through graph queries instead of reading files one by one.

Provides systems thinking models as composable analysis lenses for architecture, infrastructure, DevOps, incident analysis, and technical decision-making.

An enhanced sequential thinking tool optimized for programming tasks that helps break down complex coding problems into structured, self-auditing thought steps with branching and revision capabilities.

MCP server for structured reasoning with cognitive trap detection, verification, and context compression

Enables AI agents to drive policy evaluation over MCP by starting executions, answering policy questions from case evidence, and reading deterministic outcomes with reasoning traces, while the runtime controls which questions are asked and how answers combine.

Provides reasoning budget estimates for AI tasks, making effort and time trade-offs visible through a compact control interface.

Enables dynamic and reflective problem-solving through a structured thinking process with tools for sequential analysis, tree of thoughts, self-critique, and integration with external knowledge and codebase analysis.

Facilitates structured creative thinking through sequential thought processing, helping users shift from reactive problem-solving to proactive outcome creation using structural tension analysis and stage-based thinking workflows.

MCP server for deep algorithmic and mathematical reasoning, wrapping any OpenAI-compatible LLM endpoint to return only the final distilled answer without reasoning traces. Supports per-call model and endpoint overrides, defaulting to vibethinker-3b via LM Studio.

Structures debugging processes into a persistent knowledge graph, enabling problem decomposition, hypothesis testing, and reusable solution discovery.

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 tool that implements Claude Shannon's problem-solving methodology to help break down complex problems into structured steps including problem definition, constraints, modeling, validation, and implementation.

Enables AI agents to achieve production-ready solutions through iterative refinement and recursive thinking processes. It features token optimization via context compression and session-based tracking to improve problem-solving depth while minimizing cost.

Enables Claude Code to escalate complex code analysis to Google's Gemini AI for multi-model reasoning, including execution tracing, cross-system impact analysis, performance bottleneck detection, and hypothesis testing over large codebases and logs.

Enables Claude Code and other MCP clients to escalate complex code investigations to Google's Gemini AI for large-context trace analysis, cross-service impact assessment, performance bottleneck detection, hypothesis testing, and multi-turn AI-to-AI debugging.

Enables AI assistants to work through complex problems step-by-step with dynamic thought processes, allowing for revision of previous steps, exploration of alternative approaches, and flexible planning as understanding deepens.

Enables Claude Code to escalate complex code analysis to Gemini for long-context debugging, execution tracing, cross-system impact analysis, performance modeling, and hypothesis testing, including AI-to-AI multi-turn conversations. It supports analyzing large logs, traces, and codebases by leveraging Gemini's 1M-token context window and code execution capabilities.

A local MCP server that enables AI applications like Claude Desktop to securely access and work with Obsidian vaults, providing capabilities for reading notes, executing templates, and performing semantic searches.

Enables Claude Code to escalate complex analysis to Gemini for multi-model reasoning over large codebases, logs, and traces, with capabilities for execution-flow tracing, cross-system impact analysis, performance bottleneck detection, hypothesis testing, and iterative AI-to-AI dialogue.

Enables structured problem-solving through sequential thinking stages with persistent storage and analysis. Helps break down complex problems into manageable cognitive steps while tracking progress and generating summaries of the entire thought process.

Search and pull 620+ React and Tailwind sections into your project over MCP.

Facilitates structured, progressive thinking through defined cognitive stages (Problem Definition, Research, Analysis, Synthesis, Conclusion), enabling users to break down complex problems, track thought progression, and generate summaries of their thinking process.

Enables Claude Code to escalate complex code-analysis tasks to Google's Gemini AI, supporting multi-turn conversations, execution-flow tracing, cross-system impact analysis, performance bottleneck detection, and hypothesis testing.

A self-hosted MCP server that provides tools for structured reasoning, confidence calibration, and detecting recurring gaps in AI outputs, aiming to reduce workload by improving verification and attention allocation.