"Tools for slow thinking, step-back reasoning, and contextual memory capabilities" matching MCP servers:

A local-first persistent contextual-memory engine with an MCP adapter for AI models such as Qwen.

Enables MCP clients to perform step-level process reward evaluation, MCTS-guided reasoning search, hallucination branch pruning, and formal verification for complex math, code, and logic problems.

Enables users to compute symbolic derivatives and integrals, including definite and improper cases, and verify antiderivatives through SymPy-backed MCP tools.

Enables agents to run constrained optimization loops on local source files, using Step-5-Preview to propose changes while measuring candidates and returning verified patches.

Enables agents to verify complex math, code, and logic reasoning through MCTS step-level process reward modeling, counterfactual backtracking, symbolic proof checking, and majority-vote consensus so hallucinated branches get pruned. It also allocates test-time compute dynamically and exposes these capabilities over a zero-dependency STDIO MCP server for Claude Desktop, Cursor, and other agent runtimes.

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

Forces host coding agents through a structured multi-step reasoning protocol, scaffolding, validating, and formatting their thinking in QUICK, STANDARD, or DEEP modes, plus independent refutation and self-consistency verification passes. It runs entirely locally over stdio or Streamable HTTP using bash with no LLM, API key, GPU, or inference cost.

A Model Context Protocol server that provides Retrieval-Augmented Generation capabilities using Contextual AI, enabling AI interfaces like Cursor IDE and Claude Desktop to query domain-specific knowledge with context-aware responses and source citations.

Provides RAG (Retrieval-Augmented Generation) capabilities via Contextual AI, enabling query processing and context-aware responses with citations. Integrates with MCP clients like Cursor IDE and Claude Desktop.

A powerful MCP server that enhances LLMs with advanced sequential thinking capabilities, supporting 19 thinking modes for structured reasoning and complex cognitive tasks.

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.

Simple sequential thinking MCP in python

Provides a comprehensive creative thinking tool with methods like structured process, perspective shift, and constraint-based innovation to enhance divergent thinking.

Enables agents to evaluate multi-turn episodic memory buffers, compute multi-factor salience scores, and deterministically prune low-utility noise so retained context fits within model limits.

Enables LLMs and agents to verify multi-hop relational claims before asserting them, using zero-token relation-algebra proofs with precision guarantees. It supports opt-in calibration guards for entity normalization and relation transitivity.

Enables AI agents to drive policy evaluation over MCP by starting executions, answering policy questions from case evidence, and reading deterministic outcomes with reasoning traces, while the runtime controls which questions are asked and how answers combine.

An advanced MCP server that implements sophisticated sequential thinking using a coordinated team of specialized AI agents (Planner, Researcher, Analyzer, Critic, Synthesizer) to deeply analyze problems and provide high-quality, structured reasoning.

Facilitates structured, step-by-step problem-solving using the Model Context Protocol, ideal for planning complex tasks like supply chain management.

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.

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.

Provides Claude Co-work with MCP tools to search and record organizational memory, including search, read, query, ingest, remember, sync, and status operations.

MCP server providing durable Substrate organizational memory tools, including search, read, query, ingest, remember, and sync. It integrates with Codex to automatically capture completed turns and session boundaries for persistent memory.

Turns Claude Code into a recursive analysis engine that builds explorable decision trees from IF/THEN chains, enabling thorough problem exploration and structured synthesis of action plans.

Enables structured problem-solving through sequential thinking stages with persistent storage and analysis. Helps break down complex problems into manageable cognitive steps while tracking progress and generating summaries of the entire thought process.

Provides Dify apps with a secure, app-scoped MCP tool catalog and action gateway for authorized FlowFlox operations, enabling intent-driven planning and fixed operational processes without exposing global credentials.

Facilitates structured creative thinking through sequential thought processing, helping users shift from reactive problem-solving to proactive outcome creation using structural tension analysis and stage-based thinking workflows.

Facilitates structured, progressive thinking through defined cognitive stages (Problem Definition, Research, Analysis, Synthesis, Conclusion), enabling users to break down complex problems, track thought progression, and generate summaries of their thinking process.

Enables AI agents and MCP clients to compress retrieved web documents against a query, pruning irrelevant noise through deterministic algorithmic scoring so downstream context stays lean. It exposes this capability over the Model Context Protocol for integration with Claude Desktop, Cursor, and similar clients.

This MCP server enables clients to reduce oversized prompts by selecting task-relevant context, removing lexical duplicates, and pruning to a token budget while preserving critical system invariants.

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.