"Information or resources related to thinking" matching MCP servers:

LLM routing proxy that cuts API costs 60-90% by auto-selecting the cheapest capable model across OpenAI, Anthropic, and Google. Provides stats, config, and model comparison tools via MCP.

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.

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.

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.

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.

Converts AI Skills (following Claude Skills format) into MCP server resources, enabling LLM applications to discover, access, and utilize self-contained skill directories through the Model Context Protocol. Provides tools to list available skills, retrieve skill details and content, and read supporting files with security protections.

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.

Enables AI assistants to convert CSS-animated SVGs into videos (MP4/WebM/MKV/MOV) and animated images (aPNG/GIF) with frame-accurate rendering and transparency support.

A Model Context Protocol server that converts Markdown documents to plain text with flexible options and dual protocol support.

Enables AI assistants to query PostgreSQL, MySQL, SQL Server, Oracle, and MongoDB databases through MCP with read-only, audited access.

Enables LLMs to query documents using semantic search, supporting PDFs, Word, Excel, and more. Organizes documents by topics from folder structure and provides advanced search features like phrase matching and date filtering.

Converts any Python Click or Typer CLI into an MCP server automatically — zero-code transformation that introspects CLI commands and exposes them as MCP tools.

Enables existing Express routers to be exposed as MCP tools, dispatching tool calls through the Express middleware stack in-process without a network hop.

Turns any OData V2 or V4 service, SAP Gateway included, into MCP tools that AI clients such as Claude, ChatGPT, Copilot, and Cursor can call without code by reading $metadata. It lets models discover entity sets and fields, then query services through built-in read-only tools.

Auto-generates MCP tools from your OpenAPI spec, allowing natural language interaction with any API via configurable headers and serverless deployment.

MCP server that fetches remote or local HTML resources and converts them to Markdown, enabling AI clients to summarize or process web content.