"Slow thinking, distributed thinking, and reasoning abilities research" 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 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.

An MCP server that brings difficulty-adaptive, multi-path reasoning to Claude Code. It implements the Actor-Critic-Planner-Reflexion (ACPR) pipeline for deep research synthesis.

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

Multi-purpose research MCP server integrating web search, deep research, web scraping, research methodology routing, and GPT Researcher report generation.

Orchestrates distributed research drones on Google Cloud Run, enabling scalable and bidirectional research task management.

Enables semantic search across personal PDF paper collections with page-level citations, allowing users to query their library from any MCP-capable client.

A read-only FastMCP server for academic research that lets agents search papers, inspect metadata, follow citation graphs, generate BibTeX, and read full texts of open-access PDFs via semantic scholar, OpenAlex, arXiv, DBLP, and Crossref.

Enables AI coding agents to run Tavily-powered web searches and asynchronous, cited research through MCP, with tools for focused search, task creation, and status retrieval.

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.

MCP server exposing ATLAS research capabilities: live tokenized stock market data, on-chain source-of-truth reads, and published research atlases. Connects to MCP clients over stdio with no API keys required for public testnet endpoints.

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 academic literature research that integrates Scopus, CrossRef, OpenAlex, and Unpaywall to search documents, get abstracts, author profiles, citing papers, and open-access PDF links.

A deep-research MCP server exposing a single task-augmented tool that runs GPT-Researcher with Tavily search, Anthropic Claude, and OpenAI embeddings, streaming progress via MCP tasks and Upjack entity stream.

AI-operable research workspace integrating Zotero, Obsidian, and NotebookLM. Search papers (arXiv/Semantic Scholar/PubMed/CrossRef), ingest into Zotero, sync per-paper notes to Obsidian, verify NotebookLM briefs. All three external tools optional.

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

MCP server that answers questions using Reddit discussions as evidence, searching threads, fetching comments, and ranking useful context, with optional cited answer synthesis.

Enables local research of public Instagram Reels through a dashboard, CLI, and 22 MCP tools, with optional Codex or Claude Code analysis.

MCP server for local, source-agnostic research, turning briefs into platform-specific searches and cited evidence dossiers with PostgreSQL storage and optional browser capture.