Skip to main content
Glama
97,619 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"A search for information about thinking or related concepts" matching MCP servers:

GET /v1/servers – MCP directory API reference
  • F
    license
    A
    quality
    C
    maintenance
    An MCP server that provides information about Utkarsh, including bio, skills, work experience, and portfolio projects, accessible via local stdio or remote HTTP with OAuth.
    6
    -
  • A
    license
    Not graded
    quality
    B
    maintenance
    Provides live wait times and office details for all 60 Oregon DMV field offices by scraping the ODOT website, with no authentication required.
    7 npm
    MIT
  • A
    license
    Not graded
    quality
    A
    maintenance
    Persistent sequential thinking for MCP clients, stored durably on Cloudflare Workers with support for branching, revision, and history retrieval.
    1
    MIT
  • A
    license
    Not graded
    quality
    D
    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
    A
    quality
    D
    maintenance
    Structures debugging processes into a persistent knowledge graph, enabling problem decomposition, hypothesis testing, and reusable solution discovery.
    1
    9 npm
    4
    MIT
  • A
    license
    A
    quality
    C
    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
    62 npm
    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
    32 npm
    70
    MIT
  • F
    license
    D
    quality
    D
    maintenance
    A simple MCP server implementation in TypeScript that communicates over stdio, allowing users to ask questions that end with 'yes or no' to trigger the MCP tool in Cursor.
    1
    7 npm
    -
  • 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
    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.
    7 npm
    MIT