"thinking" matching MCP servers:

Provides five rigorous reasoning protocols (debate, red team, audit_argument, threat_model, check_study) that run on the AI you're already using, requiring no extra API keys or costs.

An MCP server implementation that leverages Google's Gemini API to provide analytical problem-solving capabilities through sequential thinking steps without code generation.

Provides a tool for dynamic and reflective problem-solving by breaking complex problems into manageable steps with support for revision, branching, and hypothesis generation.

An MCP server for navigating thought processes using branches, supporting thought cross-references and priority tracking to enhance insight generation and structured idea exploration.

Enables formal logical reasoning, mathematical problem-solving, and proof construction across 11 logic systems including propositional, predicate, modal, fuzzy, and probabilistic logic. Integrates external solvers (Z3, ProbLog, Clingo) for advanced reasoning, with support for proof storage, argument scoring, and cross-system translation.

Enables complete Minto pyramid analysis through a 6-phase pipeline with sequential thinking, evidence gathering, and structured outputs.

An open-source deep research MCP server that provides multi-source web search and synthesis with citations, enabling agents to perform citation-backed research using Qwen3-30B-A3B-Thinking and other models.

Local read-only MCP server for ThinkingData 5.0 that provides 10 tools for event analysis, retention, funnel, path, distribution, and SQL queries over stdio.

A minimal, token-efficient MCP server that combines stock prices and fundamentals with the macro and micro narrative around them — so an AI agent can reason about why a stock moved, what people are thinking about it, and what probable scenarios lie ahead.

Enables AI to interact with ThinkingData analytics through a read-only MCP service, supporting event/property queries, event analysis, retention analysis, and safe SQL execution.

Enables Codex to delegate deep research, PRD drafting, design thinking, and current-information lookups to ChatGPT Web/App via a local MCP connector, saving Markdown results to the filesystem.

A research tool that performs comprehensive, in-depth research on complex topics by combining sequential thinking with Brave Search capabilities to provide detailed, well-sourced reports.

Provides cognitive tools for critical thinking and multi-perspective analysis of current affairs through structured prompts, including claim deconstruction, perspective comparison, and analysis through 9 analytical lenses (historical, economic, geopolitical, etc.).

Enables searching and accessing ArXiv research papers with advanced query capabilities, and provides sequential thinking tools for structured problem-solving. Supports Boolean operators, field-specific searches, author lookups, and dynamic thought processes through a modular Docker-based architecture.

MindBase implements Karpathy's "LLM wiki" pattern as an MCP server. Instead of retrieving chunks at query time (RAG), the LLM maintains a persistent wiki between your conversations: it reads every source you feed it, cross-references pages with [[wikilinks]], flags contradictions between sources, and keeps a context.md that reflects your current synthesized thinking.