"A server for exploring the concept of thinking" matching MCP servers:

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.

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.

Enables AI assistants to work through complex problems step-by-step with dynamic thought processes, allowing for revision of previous steps, exploration of alternative approaches, and flexible planning as understanding deepens.

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, 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 to perform dynamic and reflective problem-solving through a chain of thoughts, allowing them to break down complex problems, revise past thoughts, and explore logic branches before reaching a conclusion.

Provides a sequentialthinking tool for dynamic, reflective problem-solving via chain-of-thought reasoning. Supports local Stdio and remote SSE deployment on Google Cloud Run.

MCP server for controlling satellite ground station operations in the Trench simulation, including pass management, downlink control, and antenna pointing.

An MCP server for navigating thought processes using branches, supporting thought cross-references and priority tracking to enhance insight generation and structured idea exploration.

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.

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.

Enables interacting with the GTA7 Lab city bank through MCP tools, including balance checks, transaction searches, PIX transfers, bill payments, card issuance, loan simulation and requests, and investments.

Automatically extracts technical concepts from AI coding conversations, organizes them into a searchable knowledge base with hierarchy and categories, and links them to specific locations in your codebase.

Records a sale of a vehicle, equipment or stock and produces a printable bill of sale with signature lines. Drafts can be edited and finalized into a frozen signing copy rendered as Markdown or self-contained HTML for print-to-PDF.

An MCP server that enables AI agents to pause and request human approval or information via Slack, Telegram, or macOS dialogs before proceeding with actions.

Enables building client statements of account from existing invoices, credit notes, and deposits, with aged outstanding balances, PDF/plain-text output, and drafted payment chasers at friendly, firm, or final levels.

Enables checking project files like Dockerfile, .nvmrc, and CI workflows to determine whether pinned runtime, database, and OS versions are still supported, providing end-of-life dates, latest patches, and upgrade targets for 470+ products.

Shrimp Task Manager is a task tool built for AI Agents, emphasizing chain-of-thought, reflection, and style consistency. It converts natural language into structured dev tasks with dependency tracking and iterative refinement, enabling agent-like developer behavior in reasoning AI systems.

Free remote MCP for Core Web Vitals metrics by CMS, CDN, and framework (Chrome field data + multi-site crawl). No auth. Endpoint: https://www.corewebvitals.io/api/state-of-cwv/mcp

Provides over 1,000 creative ways to decline requests across four categories (polite, humorous, professional, and creative). The MCP server wraps a REST API to help users craft professional rejections through natural language interactions.