Skip to main content
Glama
70,889 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

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

  • A
    license
    -
    quality
    B
    maintenance
    Enables LLMs to perform conceptual search over local PDF/EPUB documents using a RAG pipeline with corpus-driven concept extraction and WordNet enrichment.
    3
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Chain of Draft Server is a powerful AI-driven tool that helps developers make better decisions through systematic, iterative refinement of thoughts and designs. It integrates seamlessly with popular AI agents and provides a structured approach to reasoning, API design, architecture decisions, code r
    1
    24
    24
    MIT
  • A
    license
    D
    quality
    D
    maintenance
    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.
    1
    21
    34
    MIT
  • A
    license
    -
    quality
    B
    maintenance
    Persistent sequential thinking for MCP clients, stored durably on Cloudflare Workers with support for branching, revision, and history retrieval.
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    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.
    123
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Structures debugging processes into a persistent knowledge graph, enabling problem decomposition, hypothesis testing, and reusable solution discovery.
    1
    10
    4
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    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.
    20
    54
    3
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    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.
    1
    120
    69
    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