Skip to main content
Glama

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault
PORTNoHTTP server port (only with TRANSPORT=http)3000
TRANSPORTNoTransport mode: stdio or httpstdio
COVERITY_SSLNoUse HTTPStrue
COVERITY_HOSTYesCoverity Connect server hostname
COVERITY_PORTNoServer port8443
COVERITY_USERYesUsername
COVERITY_AUTH_KEYYesAuthentication key

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
tools
{
  "listChanged": true
}
resources
{
  "listChanged": true
}

Tools

Functions exposed to the LLM to take actions

NameDescription
list_projectsA

List all Coverity projects the authenticated user can access

list_streamsA

List Coverity streams for the configured project.

get_issue_detailsA

Get full details for a Coverity defect by CID, including the event trace (code path that leads to the defect), triage information, and file/line details useful for resolving the issue.

search_issuesA

Search for static analysis defects in the configured Coverity project. Returns CID, checker, file, function, impact, and status for each issue.

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription
server-infoCoverity server connection info

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/baxishrey/Coverity-MCP-Server-Typescript'

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