Skip to main content
Glama
60,908 servers. Last updated

Matching MCP tools:

Matching MCP Connectors:

"Common Lisp" matching MCP servers:

  • A
    license
    A
    quality
    A
    maintenance
    MCP server that provides shell script linting via ShellCheck. Allows AI agents to analyze shell scripts for common errors, stylistic issues, and potential bugs.
    Last updated
    2
    MIT
  • A
    license
    A
    quality
    C
    maintenance
    Enables blazingly fast file and content searching in large codebases using ripgrep, with intelligent filtering, fuzzy finding, and directory tree visualization while respecting .gitignore and avoiding common bloat directories.
    Last updated
    4
    9
    2
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Godot 4 MCP server with: Test running (GUT/GdUnit4) with structured pass/fail results API docs search with 30+ Godot 3→4 migration mappings Script analysis detecting 10 common GDScript pitfalls Scene/resource file parsing with antipattern detection Viewport screenshot capture LSP diagnostics from Godot's language server TypeScript, cross-platform (macOS/Windows/Linux), published on npm
    Last updated
    8
    133
    8
    MIT
  • A
    license
    A
    quality
    A
    maintenance
    Enables LLM agents to interact with the Lean theorem prover through the Language Server Protocol, providing tools for analyzing Lean projects, accessing diagnostics, goal states, documentation, and searching for theorems using both local and external search services.
    Last updated
    23
    449
    MIT
  • A
    license
    A
    quality
    B
    maintenance
    Enables AI agents to lint API artifacts (OpenAPI, AsyncAPI, Arazzo) and manage rulesets conversationally via the Model Context Protocol.
    Last updated
    4
    Apache 2.0
  • A
    license
    A
    quality
    A
    maintenance
    MCP server that keeps language server sessions warm and routes multiple languages through one process. Agents get persistent cross-file awareness, speculative execution (simulate edits before writing to disk), and 20 skills that encode correct multi-step operations like safe rename, blast-radius analysis, and end-to-end refactoring. Single Go binary, no runtime dependencies.
    Last updated
    50
    90
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    Bridges Claude Code to Language Server Protocol (LSP) servers to enable semantic code intelligence features like navigation, refactoring, and real-time diagnostics. It supports multiple languages including TypeScript, Python, and Rust with multi-root workspace capabilities.
    Last updated
    19
    1,247
    20
    MIT
  • A
    license
    A
    quality
    D
    maintenance
    A Model Context Protocol (MCP) server that provides Dart language analysis capabilities to Claude Code, enabling real-time diagnostics, code navigation, and symbol search for Dart projects.
    Last updated
    8
    1
    MIT
  • F
    license
    A
    quality
    B
    maintenance
    An MCP stdio server that wraps language servers to expose read-oriented code-intelligence tools (hover, definition, references, diagnostics, etc.) for coding agents, supporting TypeScript/JavaScript and Python.
    Last updated
    56
    1
  • A
    license
    A
    quality
    D
    maintenance
    Provides code refactoring capabilities for TypeScript/JavaScript and Python through Language Server Protocol integration. Enables renaming symbols, extracting functions, finding references, and moving code between files via natural language commands.
    Last updated
    5
    1,247
    6
    MIT
  • A
    license
    B
    quality
    D
    maintenance
    Exposes TypeScript Language Server Protocol functionality to AI agents, enabling them to query types at specific positions, find definitions and references, get diagnostics, run type tests, and type-check inline code just like in an IDE.
    Last updated
    9
    31
    2
    MIT
  • A
    license
    B
    quality
    B
    maintenance
    A Codex MCP server that provides low-token Java semantic navigation using source indexing and optionally JDT Language Server for enhanced symbol, references, and diagnostics.
    Last updated
    7
    Apache 2.0
  • A
    license
    B
    quality
    D
    maintenance
    A multi-language code analysis server that helps LLMs or humans automatically lint, type-check, and improve code with minimal installation friction, currently supporting Python with plans for other languages.
    Last updated
    1
    3
    MIT
  • A
    license
    -
    quality
    D
    maintenance
    Provides LLM clients with structured code intelligence through LSP servers, enabling queries for definitions, references, call hierarchies, and more.
    Last updated
    Apache 2.0