Skip to main content
Glama
74,448 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Understanding Sequential Thinking" matching MCP servers:

  • A
    license
    -
    quality
    C
    maintenance
    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.
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    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.
    1
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    An open-source deep research MCP server that provides multi-source web search and synthesis with citations, enabling agents to perform citation-backed research using Qwen3-30B-A3B-Thinking and other models.
    6
    52
    MIT
  • F
    license
    A
    quality
    C
    maintenance
    A minimal, token-efficient MCP server that combines stock prices and fundamentals with the macro and micro narrative around them — so an AI agent can reason about why a stock moved, what people are thinking about it, and what probable scenarios lie ahead.
    6
  • A
    license
    -
    quality
    A
    maintenance
    MindBase implements Karpathy's "LLM wiki" pattern as an MCP server. Instead of retrieving chunks at query time (RAG), the LLM maintains a persistent wiki between your conversations: it reads every source you feed it, cross-references pages with [[wikilinks]], flags contradictions between sources, and keeps a context.md that reflects your current synthesized thinking.
    1
    59
    MIT
  • A
    license
    -
    quality
    C
    maintenance
    Enables Codex to delegate deep research, PRD drafting, design thinking, and current-information lookups to ChatGPT Web/App via a local MCP connector, saving Markdown results to the filesystem.
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    Turn any link — video, PDF, screenshot, or article — into cached, timestamp-anchored understanding agents can query through lenses (explainer, build spec, teardown, design tokens, production blueprint). Every claim carries the exact second or page it came from.
    410
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    A research tool that performs comprehensive, in-depth research on complex topics by combining sequential thinking with Brave Search capabilities to provide detailed, well-sourced reports.
    20
    3
    MIT
  • F
    license
    -
    quality
    D
    maintenance
    Provides cognitive tools for critical thinking and multi-perspective analysis of current affairs through structured prompts, including claim deconstruction, perspective comparison, and analysis through 9 analytical lenses (historical, economic, geopolitical, etc.).
    1
  • F
    license
    -
    quality
    C
    maintenance
    Enables searching and accessing ArXiv research papers with advanced query capabilities, and provides sequential thinking tools for structured problem-solving. Supports Boolean operators, field-specific searches, author lookups, and dynamic thought processes through a modular Docker-based architecture.
  • F
    license
    -
    quality
    D
    maintenance
    Enables reading and understanding NetCDF files, providing tools to inspect structure, variables, metadata, and data quality for scientific datasets.