Server.pudu

Pudu68 lines3.0 KB

Copy pathGitHub ↗

1/** @Constants.Server.Vocabulary — server identity, limits, environment names */2module PuduLangMcp.Constants.Server34/// The name reported in `serverInfo`.5export const SERVER_NAME: Str = "pudu-lang-mcp"6/// The display name reported in `serverInfo`.7export const SERVER_TITLE: Str = "Pudu Language"8/// This server's version; matches `pudu.toml`.9export const SERVER_VERSION: Str = "0.1.0"1011/// Guidance for a model, returned by discovery and `initialize`.12export const INSTRUCTIONS: Str = "Tools for writing Pudu. Search and read the language documentation with pudu_docs_search and pudu_docs_read, and the installed standard library with pudu_stdlib_search and pudu_stdlib_module. Before presenting Pudu code, verify it with pudu_check, format it with pudu_format, and lint it with pudu_lint. pudu_hover, pudu_definition, and pudu_completion answer language-server questions at a line and character. pudu_run runs a program confined: no files, processes, network, or foreign code. Paths must be inside the workspace the server was started in."1314/// The longest message line accepted, in bytes.15export const MAX_LINE_BYTES: Int = 83886081617/// Deadline for check, format, lint, and reference commands.18export const COMMAND_TIMEOUT_MS: Int = 2000019/// Deadline for one chunk of reference indexing.20export const REFERENCE_TIMEOUT_MS: Int = 600002122/// Most bytes kept from one reference-indexing run, whose JSON covers every imported module.23export const REFERENCE_OUTPUT_CAP_BYTES: Int = 671088642425/// Files per reference-indexing run.26export const REFERENCE_CHUNK: Int = 252728/// Reference-indexing runs at once.29export const REFERENCE_WORKERS: Int = 43031/// Longest a request waits for the background reference index.32export const INDEX_WAIT_MS: Int = 900003334/// Default deadline for `pudu_run` and `pudu_test`.35export const RUN_TIMEOUT_MS: Int = 1000036/// The longest deadline a caller may ask a run or test for.37export const MAX_RUN_TIMEOUT_MS: Int = 6000038/// Deadline for one language-server conversation.39export const LSP_TIMEOUT_MS: Int = 200004041/// Most bytes kept from each stream of a child process.42export const OUTPUT_CAP_BYTES: Int = 2621444344/// Items per page of a list result.45export const PAGE_SIZE: Int = 504647/// Freshness hint for tool, prompt, resource, and discovery lists.48export const LIST_TTL_MS: Int = 360000049/// Freshness hint for documentation reads.50export const DOCS_TTL_MS: Int = 360000051/// Freshness hint for standard-library reads.52export const STDLIB_TTL_MS: Int = 3000005354/// Most characters of one document or reference answered at once.55export const DOC_CHARS: Int = 600005657/// Search results answered when the caller names no limit.58export const DEFAULT_SEARCH_LIMIT: Int = 859/// The most search results a caller may ask for.60export const MAX_SEARCH_LIMIT: Int = 256162/// Environment variable naming the `pudu` executable to use.63export const ENV_PUDU_BIN: Str = "PUDU_BIN"64/// Environment variable naming the standard library directory to use.65export const ENV_PUDU_LIB: Str = "PUDU_LIB"66/// Environment variable naming the workspace root.67export const ENV_WORKSPACE: Str = "PUDU_MCP_ROOT"68