"AI Prompting Techniques and Reasoning Methods" matching MCP servers:

MCP server for step-by-step mathematical reasoning and planning, enabling AI agents to execute calculations and perform GUI actions like opening PowerPoint.

Enables structured extraction of methods and reproducibility heuristics from academic papers, allowing AI agents to obtain metadata, full text, structured methods, code repository discovery, and a no-clone reproducibility verdict from a paper URL.

Provides MCP tool adapters for Bioconductor methods like limma, DESeq2, and fgsea, enabling statistical analysis of omics data through containerized R execution. It serves as a bridge between MCP clients and bioinformatics tools for reproducible research workflows.

Adds a deep_reasoning tool that consults stronger reasoning models (e.g., DeepSeek R1) to produce full reasoning traces for complex problems, helping the agent shape and cross-check its answers.

An MCP server that provides a multidimensional philosophical framework for prompt engineering by mapping intent across ten distinct branches of thought. It generates a principled construction basis, including active constructs and spectrum tensions, to guide the creation of structured and intentional prompts.

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.

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.

Provides an MCP server that decomposes complex problems into ordered, isolated reasoning contexts, yielding compressed summaries before discarding intermediate steps. Enables sequential or parallel step execution with optional verification for more reliable LLM reasoning.

A 66-tool reasoning pipeline that intercepts prompts to classify intent, check past mistakes, and generate execution plans, enabling any LLM to think harder and avoid repeating errors.

Strategic BDI cognitive reasoning engine for AI agents. Goal decomposition DAGs, multi-factor utility scoring, risk evaluation, and adaptive replanning over MCP.

A Model Context Protocol server that enhances Claude in Cursor AI with advanced reasoning capabilities including Monte Carlo Tree Search, Beam Search, R1 Transformer, and Hybrid Reasoning methods.

An MCP server that structures AI reasoning as directed acyclic graphs of semantic thoughts, enabling explicit dependencies, assumption tracking, and cascade invalidation for transparent decision-making.

Enables MCP clients to offload sub-problems to fresh, isolated contexts via sampling, offering plan, think_aside, and run_plan tools for sequential reasoning without cluttering the main conversation with verbose intermediate steps.

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

Enables multi-step AI reasoning by sending prompts to OpenRouter, performing a verification pass, and returning both responses with provider reasoning fields when available.

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.

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.

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.

An MCP server that enhances sequential thinking with meta-cognitive capabilities including confidence tracking, hypothesis testing, and organized memory storage through graph-based libraries and structured JSON documents.

Provides AI agents with deterministic symbolic math capabilities through 21 tools for algebra, calculus, transforms, and DSP, preventing hallucinations by delegating computations to a SymPy engine.