We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/gergelyszerovay/mcp-id-date'
If you have feedback or need assistance with the MCP directory API, please join our Discord server
AppState.ts•771 B
import type { McpTool } from '@shared/mcp-tool/McpTool';
/**
* Application state object with immutable properties
*/
export type AppState = {
/** Whether to enable HTTP transport */
readonly enableHttpTransport: boolean;
/** Whether to enable stdio transport */
readonly enableStdioTransport: boolean;
/** Whether to enable REST server */
readonly enableRestServer: boolean;
/** Port for MCP HTTP server */
readonly mcpHttpPort: number;
/** Port for REST HTTP server */
readonly restHttpPort: number;
/** Path to the file used for tracking the last generated ID */
readonly idCounterFile: string;
/** Current operational mode */
readonly mode: 'mcpAct' | 'mcpPlan';
/** List of available tools */
readonly tools: readonly McpTool[];
};