Skip to main content
Glama
61,048 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"An explanation or exploration of reasoning" matching MCP servers:

  • A
    license
    A
    quality
    D
    maintenance
    An enhanced sequential thinking tool optimized for programming tasks that helps break down complex coding problems into structured, self-auditing thought steps with branching and revision capabilities.
    Last updated
    1
    40
    255
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    An MCP server that extends AI coding assistants with deterministic, algorithmic capabilities such as code analysis, fault localization, and formal verification, enabling an autonomous engineering team within the IDE.
    Last updated
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Enables structured, step-by-step problem-solving through dynamic thinking processes that can be revised, branched, and adjusted as understanding deepens. Supports breaking down complex problems into manageable steps with the ability to revise previous thoughts and explore alternative reasoning paths.
    Last updated
    1
    146,749
    Sleepycat
  • A
    license
    A
    quality
    F
    maintenance
    An MCP server that allows coding agents to search the Swift Package Index and retrieve GitHub READMEs without requiring an API key. It features comprehensive search filters for stars, platforms, and licenses, providing token-efficient responses optimized for LLM comprehension.
    Last updated
    3
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Exposes the four Ejentum cognitive harnesses (reasoning, code, anti-deception, memory) as MCP tools any agentic client can call. Drop-in scaffolding that catches LLM failure modes like sycophancy, hallucination, and reasoning shortcuts.
    Last updated
    4
    222
    11
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Provides AI coding agents with five intelligence layers (dependency graph, git history, documentation, architectural decisions, code health) via nine MCP tools, enabling deep codebase understanding and reducing exploration cost.
    Last updated
    2
    11
    4,214
    AGPL 3.0
  • A
    license
    A
    quality
    C
    maintenance
    Enables parallel execution of shell commands and AI coding agents (Claude, Gemini, Codex) across lists of items like files or URLs, with batched processing and real-time streaming output for batch operations.
    Last updated
    8
    15
    6
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    Bug-report triage and fix-dispatch MCP for vibe coders. Ask your AI coding agent for a plain-English diagnosis of any user-reported bug — with evidence, blast radius, and a paste-ready fix prompt — then dispatch an automated GitHub fix PR without a second LLM key. 71 tools, Supabase-backed, MIT SDK. npx @mushi-mushi/mcp
    Last updated
    34
    78
    3
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    A robust, language-agnostic Model Context Protocol (MCP) server that provides AI coding agents with the ability to edit files surgically via Abstract Syntax Trees (AST) instead of relying on token-heavy, brittle search-and-replace or diff operations.
    Last updated
    28
    7
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Provides per-Subagent MCP controls to any coding agent or client across all your MCPs and prevents context window waste. Loads only 3 tools instead of all your MCP Server's tool definitions. Agents discover tools on-demand, only when needed and only the servers and tools they are allowed.
    Last updated
    4
    41
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Connects AI coding agents to the SkillsMP marketplace, allowing users to search, read, and install over 8,000 community-made skills. It enables agents to gain new capabilities either through on-the-spot instruction or permanent installation without requiring an API key.
    Last updated
    5
    43
    8
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Official implementation of Anthropic's 'think' tool that provides Claude with a dedicated space for structured reasoning, improving performance by up to 54% on complex tasks requiring multi-step problem solving.
    Last updated
    1
    38
    126
    MIT