"Slow thinking, distributed thinking, and reasoning abilities research" matching MCP servers:

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.

Enables AI agents to coordinate atomic distributed transactions across a swarm through a prepare/vote phase, unanimous commit-or-abort consensus, quorum validation, and failure recovery. It also layers in vector-clock causal stamping, LWW CRDT reconciliation, and gossip dissemination so multi-node state converges deterministically without external dependencies.

Enables agents to audit their own reasoning trajectories for loops, deadlocks, and logical contradictions, then perform non-destructive checkpoint rollbacks to a sound prior step. It combines step-level reward evaluation, MCTS search, symbolic proof checking, and consensus voting to return verified solutions over MCP stdio.

Enables MCP-compatible agents to audit reasoning trajectories for loops, deadlocks, and logical contradictions and to perform non-destructive checkpoint rollbacks.

Enables keyword idea and question discovery for any seed term, with search volume, difficulty, and SERP intent data.

A read-only MCP server for EdgeDepth's market microstructure search engine, enabling users to query recorded crypto and TradFi perpetuals for market conditions, outcomes, and reproducibility-keyed evidence directly from MCP clients.

Enables async-first working practices by providing tools to draft decision docs, convert meetings to async artifacts, score status updates, and triage sync vs async tasks. It also offers reference tools for the Open and Async book's principles and coaching prompts.

This local MCP server keeps vulnerability intelligence, research scope, scanner results, evidence receipts, Bugcrowd VRT assessments, and report drafts in one SQLite ledger. It is built for authorized defensive research and does not scan, exploit, or submit reports.

A stdio MCP server that queries Commonware blockchain research via NotebookLM, enabling users to ask research questions, get code-backed implementation suggestions, search reference repositories, and validate documents against source code.

Provides specialized AI-powered comprehensive research and analysis capabilities by integrating with advanced deep research agents, offering unlimited queries with no rate limits and faster performance than comparable services.

Enables AI applications to look up study findings, clinical trials, cited sources, and evidence summaries for more than 160 peptides, compare up to five peptides, and search live literature.

Enables AI assistants to perform deep Indian stock research with fundamentals, forensic scores, DCF valuation, screening, and news for 6000+ NSE/BSE stocks.

Enables agents to resample reasoning paths, semantically deduplicate candidate answers, and confidence-weight votes to produce a consensus result. It also exposes verification and proof-checking tools over MCP STDIO JSON-RPC.

Enables agents to validate propositional logic assertions and formal symbolic deductions through a zero-dependency MCP STDIO server, supporting proof checking and reasoning verification.

Official European law, expanding globally: 20M+ documents, 35+ jurisdictions, verifiable citations.

Enables AI-powered fact-checking and similarity search via the Reka Research API, with tools to verify claims and find similar items by attributes.

This MCP wraps Bitrefill public API to allow agents to search for products and shop using cryptocurrencies like Bitcoin, Ethereum, Solana, and many more.

Credit and payments for AI agent developers — over MCP. No crypto required

Enables deep research evidence synthesis and citation verification by generating structured research graphs through the Model Context Protocol.

Enables decomposition of complex research queries into multi-hop sub-queries and synthesis DAGs, with scientific consensus analysis, citation credibility verification, and deterministic JSON outputs for MCP-compliant clients.

Enables AI agents and MCP clients to run deterministic deep research consensus arbitration by parsing queries, evaluating source authority and contradictions, and returning structured JSON dossiers and telemetry.

Enables AI agents to analyze and link citations across multiple research sources, building cross-citation graphs and resolving consensus from conflicting findings. It exposes this capability as a deterministic, zero-dependency MCP server that plugs into Claude Desktop, Cursor, and other MCP-compliant clients.

Enables AI agents to perform deep research across multiple sources, arbitrating consensus while evaluating source authority and detecting contradictions. It integrates via MCP with clients like Claude Desktop and Cursor to deliver deterministic, structured research dossiers.

Gaia MCP enables AI agents to discover, evaluate, and install trusted skills from the Gaia Skill Tree, providing evidence-backed recommendations and safe workspace integration.

Enables live market data lookup and search for tokenized stocks, ETFs, commodities, bonds, and real estate on Robinhood Chain, plus broader DEX token discovery, including price queries, market ranking, and movers.

A Model Context Protocol server for the AVEQ Surfmeter management API. It exposes typed tools for clients, measurements, anomalies, groups, ISPs, users, keys, capabilities, settings, license usage, and the built-in AI assistant.

MCP server for answering questions about official statistics from a single publication URL, with tools to check query scope, retrieve overview, text, data files, and search.

Send email, find out why an email failed, set up sending domains, and manage templates, contacts, lists and campaigns in your AhaSend account.

A minimal server that provides Claude AI with secure file system access and sequential thinking capabilities, allowing Claude to navigate directories, read files, and break down complex problems into structured thinking steps.

Lets any MCP-compatible AI agent search live resort inventory, request exact all-in quotes including transfers, and start real hotel bookings that the traveler completes on a hosted Stripe checkout.