Skip to main content
Glama
flyfei-cmd

CodeQL LSP MCP Server

by flyfei-cmd
OverviewSchemaRelated ServersScoreDiscussions
Python
Local

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
CODEQL_PATHNoAbsolute path to the CodeQL CLI. If not set, assumes 'codeql' is on PATH.codeql
WORKSPACE_PATHYesAbsolute path to the QL workspace containing the files to inspect.
CODEQL_LSP_TRACENoSet to '1' to enable verbose LSP protocol tracing.0

Instructions

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Capabilities

Features and capabilities supported by this server

Protocol revision2025-11-25

CapabilityDetails
tasks
{
  "list": {},
  "cancel": {},
  "requests": {
    "tools": {
      "call": {}
    },
    "prompts": {
      "get": {}
    },
    "resources": {
      "read": {}
    }
  }
}
tools
{
  "listChanged": true
}
prompts
{
  "listChanged": false
}
resources
{
  "subscribe": false,
  "listChanged": false
}
experimental
{}

Tools

Functions exposed to the LLM to take actions

NameDescription
codeql_completeA

Provides code completions at a specific position in a CodeQL file.

Args: file_uri: URI of the CodeQL file line: 0-based line number character: 0-based character position trigger_character: Character that triggered completion (optional) limit: Maximum number of completions to return (default: 50) offset: Offset for pagination (default: 0)

Returns: Dictionary with completion items and metadata

codeql_hoverA

Retrieves hover information (documentation, type information) at a specific position.

Args: file_uri: URI of the CodeQL file line: 0-based line number character: 0-based character position

Returns: Dictionary with hover information and metadata

codeql_definitionA

Navigates to the definition of a symbol.

Args: file_uri: URI of the CodeQL file line: 0-based line number character: 0-based character position

Returns: Dictionary with definition locations and metadata

codeql_referencesA

Finds all references to a symbol at a specific position.

Args: file_uri: URI of the CodeQL file line: 0-based line number character: 0-based character position

Returns: Dictionary with reference locations and metadata

codeql_diagnosticsA

Retrieves diagnostics (syntax/semantic warnings, errors) for a file.

Args: file_uri: URI of the CodeQL file

Returns: Dictionary with diagnostics and metadata

codeql_formatA

Formats a CodeQL file according to standard conventions.

Args: file_uri: URI of the CodeQL file start_line: Start line for range formatting (optional) start_character: Start character for range formatting (optional) end_line: End line for range formatting (optional) end_character: End character for range formatting (optional)

Returns: Dictionary with text edits and metadata

codeql_update_fileA

Updates the content of an open CodeQL file in the language server.

Allows dynamic modification and analysis of unsaved changes.

Args: file_uri: URI of the CodeQL file content: New complete content of the file

Returns: Dictionary with success message and metadata

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Latest Blog Posts

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/flyfei-cmd/codeql-lsp-mcp-python'

If you have feedback or need assistance with the MCP directory API, please join our Discord server