"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.

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 for navigating thought processes using branches, supporting thought cross-references and priority tracking to enhance insight generation and structured idea exploration.

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

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.

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

Enables coding and research agents to run paid, cited deep research on AI infrastructure, MCP, and security topics via remote MCP tools, with query-tied excerpt packs and uncited or failed calls billed at $0.

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

Enables federated multi-source research by fanning out queries across web, community, and social sources, deduplicating and interleaving results, and storing a persistent corpus for cross-checking.

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.

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.

Enables users to conduct evidence-driven product research through MCP by importing documents, extracting JavaScript code clues, recording cited facts and inferences, tracking validation, managing research lifecycles, and exporting Markdown or JSON reports. It provides 25 MCP tools for turning source materials into traceable research findings and verification plans.

Exposes fourteen read-only tools over the HEY Research public API, letting assistants look up Robinhood Chain projects, builders, shipped work, relationships and market context, with each answer tagged FACT, DERIVED or UNKNOWN and unmeasured fields omitted rather than zeroed. Runs over stdio or hosted Streamable HTTP, and gives no trade instructions.

Research methods, workflow tools, and independent review for AI agents, packaged as a Skill, plugin, and local MCP server.

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 evidence-grounded implementation research by searching GitHub, scoring candidate repositories, extracting source evidence, and generating planning artifacts like research and implementation checklists.

Enables AI agents to initialize, run, monitor, promote, and distill autonomous research experiments through isolated staging, adversarial verification, and persistent skill generation.

Enables capturing web evidence, freezing content-addressed snapshots, and comparing research agents on the same sources with traceable access and quotations.

Enables agents and people to run local SEC research queries against EDGAR or demo fixtures, returning verifiable financial data, filing text, charts, and evidence packets with explicit source and coverage.

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

Enables agents to execute structured research runbooks against a 440+ tool data bank and receive reports in which every number traces back to a cited source in an evidence ledger. Exposes tools for launching jobs, listing available runbooks, polling run status, and fetching finished markdown or HTML reports.

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

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

An MCP server that detects duplicated research directions and probes blind spots before committing to a project, helping researchers avoid wasted effort.

A bounded evidence review engine that ingests documents, extracts evidence for a given claim, detects contradictions, and produces auditable evidence packets without hallucinations or open-web research.

Enables MCP clients to perform live web searches through Tavily and interact with a simple hello tool, suitable for research workflows and testing via the MCP Inspector.