Theia API Documentation v1.72.1

Eclipse Theia Website GitHub

Preparing search index...

@theia/ai-ide
browser/github-prompt-template
REQUIRED_GITHUB_MCP_SERVERS

Variable REQUIRED_GITHUB_MCP_SERVERS`Const`

REQUIRED_GITHUB_MCP_SERVERS: MCPServerDescription[] = ...

Defined in packages/ai-ide/src/browser/github-prompt-template.ts:23

Settings

Member Visibility

Protected
Inherited
External

Theme

Eclipse Theia Website GitHub

Theia API Documentation v1.72.1

Loading...