Skip to main content
Glama
81,811 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"The concept of thinking or introspection" matching MCP servers:

GET /v1/servers — MCP directory API reference
  • A
    license
    Not graded
    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
    Not graded
    quality
    C
    maintenance
    Remote MCP server for dynamic and reflective problem-solving through structured thinking. Enables step-by-step reasoning with branching, revision tracking, and session management.
    105
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    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.
    1
    MIT
  • A
    license
    Not graded
    quality
    D
    maintenance
    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.
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    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.
    1
    102,549
    Unlicense - libtelnet variant
  • A
    license
    B
    quality
    D
    maintenance
    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.
    15
    52
    21
    MIT
  • F
    license
    Not graded
    quality
    D
    maintenance
    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.
  • A
    license
    A
    quality
    D
    maintenance
    Enables structured, step-by-step problem-solving with dynamic revision and branching capabilities. Supports breaking down complex problems into manageable steps while allowing course corrections and alternative reasoning paths.
    1
    102,549
    1
    Unlicense - libtelnet variant