Skip to main content
Glama
72,394 servers. Updated

Matching MCP tools:

Matching MCP Connectors:

"Session" matching MCP servers:

  • ACL2 MCP Server

    septract
    A
    license
    -
    quality
    D
    maintenance
    Enables interaction with the ACL2 theorem prover through 15 tools for theorem proving, expression evaluation, persistent session management, and proof debugging.
    5
    BSD 3-Clause

  • solograph

    fortunto2
    A
    license
    -
    quality
    D
    maintenance
    Code intelligence MCP server for Claude Code providing multi-project code graph, semantic search, session history, knowledge base, and web search.
    3
    MIT

  • claude-second-opinion-mcp

    Borge-Labs
    A
    license
    -
    quality
    A
    maintenance
    Enables any MCP client to request an independent second opinion from a fresh Claude Code session without blocking, useful for plans, architecture, debugging, security reviews, and final checks.
    25
    MIT

  • claude-engineering-coach

    nnhhoang
    A
    license
    -
    quality
    C
    maintenance
    An MCP server plugin for Claude Code that analyzes local AI session logs to provide coaching on coding patterns, tool usage, and productivity insights via tools and slash commands.
    1
    MIT

  • coldstart

    AkashGoenka
    A
    license
    A
    quality
    A
    maintenance
    coldstart gives coding agents durable memory of a specific codebase, with no embeddings, no vector store, and no API key. Agents write notes after real tasks — what a file is for, how a flow spans files, which invariants hold — and those notes are surfaced automatically to a later session whose task matches, so nothing gets rediscovered from scratch. Every note is anchored to real files by content
    8
    849
    8
    MIT

  • kimi-code-mcp

    oni-chan69
    A
    license
    A
    quality
    C
    maintenance
    Enables efficient analysis of large codebases using Claude Code and Kimi K2.5 through the Model Context Protocol, with session caching and parallel processing to reduce costs and time.
    4
    7
    72
    1
    MIT

  • nvim-mcp

    Shooooooooo
    A
    license
    A
    quality
    B
    maintenance
    Make Neovim feel like Cursor. This MCP server gives an agent full control over the Neovim session it is running inside, including buffers, windows, diagnostics, LSP language intelligence, and terminals.
    23
    MIT

  • slimdex-mcp

    Siddhukaushik
    A
    license
    A
    quality
    A
    maintenance
    Slimdex is a local MCP server that helps coding agents retrieve code narrowly—outlines, line ranges, symbol bodies, references, and intent-based searches—instead of reading whole files into context, featuring a persistent index and tools for exploration, editing, and session memory.
    2
    30
    159
    MIT

  • codex-mcp-server

    tuannvm
    A
    license
    A
    quality
    C
    maintenance
    Bridges Claude and OpenAI's Codex CLI for AI-powered code analysis, generation, and review, with support for session management, web search, and structured output.
    6
    1,336
    618
    ISC

  • trace-mcp

    nikolai-vysotskyi
    A
    license
    A
    quality
    A
    maintenance
    Framework-aware code intelligence MCP server that builds a cross-language dependency graph from source code. 53 integrations (Laravel, Django, Rails, Spring, NestJS, Next.js, and more) across 68 languages. 100+ tools for navigation, impact analysis, refactoring, security scanning, session memory, and CI/PR reports — up to 97% token reduction.
    100
    407
    99
    MIT

  • Kimi MCP Server

    x51xxx
    A
    license
    A
    quality
    C
    maintenance
    Bridges MCP clients to Moonshot AI's Kimi Code CLI, enabling file analysis, brainstorming, batch tasks, code reviews, and session management within editors like Claude Desktop and Cursor.
    14
    104
    1
    MIT
  • AccelByte Unity MCP Server by AccelByte

    AccelByte Unity MCP Serverofficial

    AccelByte
    F
    license
    B
    quality
    C
    maintenance
    An MCP server that gives AI assistants tools to generate AccelByte AGS uGUI prefabs in Unity projects, look up AccelByte Unity SDK best practices, search Bytewars C# example components, and configure SDK credentials from a Claude Code or Cursor session.
    23

  • Codex MCP Server

    tom-wahl
    F
    license
    B
    quality
    -
    maintenance
    An MCP server for the OpenAI Codex CLI that provides coding assistance with multi-turn session management and reasoning depth control. It enables users to perform code analysis, generation, and refactoring through Claude with native resume support for conversational context.
    4
    1,336
    1

  • codecalc

    The-40-Thieves
    A
    license
    B
    quality
    A
    maintenance
    An MCP server that lets AI models run code in 31 languages, evaluate symbolic math and logic problems, and measure complexity—exposed as 48 tools for execution, session management, translation, optimization, and more.
    48
    2
    Apache 2.0

  • Grok Plugin Codex

    handong66
    A
    license
    B
    quality
    C
    maintenance
    An MCP server that exposes the local Grok CLI to Codex for bounded repo work, reviews, rescue analysis, adversarial checks, session listing/export, and background job management while keeping Codex hidden context out of scope.
    12
    MIT