"Information or resources about thinking" matching MCP servers:

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.

Simple sequential thinking MCP in python

This is a MCP server that implements an unreasonable thinking system. It helps generate unconventional solutions: Generating unreasonable thoughts that challenge conventional wisdom. Creating branches of thinking in different directions

An MCP server that enables managing multiple lines of thought with features like branch navigation, cross-references between related thoughts, and insight generation from key points.

Provides AI systems with structured thinking frameworks and reasoning tools to maintain consistent problem-solving patterns across conversations. Enables multi-step reasoning, decision analysis, and systematic troubleshooting through invocable mental models.

A sophisticated MCP server that provides a multi-dimensional, adaptive reasoning framework for AI assistants, replacing linear reasoning with a graph-based architecture for more nuanced cognitive processes.

Enables dynamic and reflective problem-solving through a structured thinking process with tools for sequential analysis, tree of thoughts, self-critique, and integration with external knowledge and codebase analysis.

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

Remote MCP server for dynamic and reflective problem-solving through structured thinking. Enables step-by-step reasoning with branching, revision tracking, and session management.

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.

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.

A structured, persistent reasoning workspace for AI. 20 tools for thought chains, branching, revision, search, tagging, and SQLite session persistence that survives context window resets and server restarts.

A tool that implements Claude Shannon's problem-solving methodology to help break down complex problems into structured steps including problem definition, constraints, modeling, validation, and implementation.

A TypeScript Model Context Protocol (MCP) server to allow LLMs to programmatically construct mind maps to explore an idea space, with enforced "metacognitive" self-reflection.

Enhances AI model capabilities with structured, retrieval-augmented thinking processes that enable dynamic thought chains, parallel exploration paths, and recursive refinement cycles for improved reasoning.

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 tool enabling structured thinking and analysis across multiple AI platforms through branch management, semantic analysis, and cognitive enhancement.

An MCP server that enhances sequential thinking with Ultra Think methodology, enabling structured, step-by-step reasoning with quality metrics, bias detection, and resource management.

Enables AI agents to achieve production-ready solutions through iterative refinement and recursive thinking processes. It features token optimization via context compression and session-based tracking to improve problem-solving depth while minimizing cost.

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.