Server defines 6 tools with reasonable naming (verb_noun pattern) and mostly complete schemas. However, descriptions are inconsistent in depth, some are generic (e.g., 'Get the current status' for get_status), and several parameter descriptions lack actionable detail. Output schemas are not documented. Error handling guidance is absent. Tool composition is sound (each does one thing), but parameter interdependencies (e.g., kotlinVersion + target + frameworks) are underdocumented. No tool annotations (readOnlyHint/destructiveHint) despite clear risk profiles.

• Document output schemas for all tools. Example for lookup_symbol: 'Returns {results: [{symbol: string, framework: string, kotlinVersion: string, target: string, signature: string}], total: number, hasMore: boolean}'. This enables chaining and field extraction.
• Add tool annotations to server registration. Mark rebuild_index with destructiveHint=true and dryRun support. Mark read-only tools (lookup_symbol, search_klib_api, get_status, discover_installations, explain_symbol) with readOnlyHint=true.
• Expand get_status description to 50 - 150 chars explaining what it returns: 'Returns the indexing status (ready/indexing/error), last update timestamp, indexed Kotlin versions, and available targets. Call before rebuild_index to check if indexing is in progress.'
• Document parameter relationships in rebuild_index: 'If frameworks is omitted, all frameworks for the target are indexed. If target is omitted, all targets are indexed. dryRun=true performs validation without writing to the database; cleanBefore=true removes existing index before rebuilding (idempotent if force=true).'
• Add recovery hints to search/lookup tools: 'If no results, try search_klib_api with a broader query or omit the target/kotlinVersion filters to search all indexed versions. Call discover_installations to see available Kotlin/Native installations.'

Inferred effective spec: 2025-06-18+.

• Relies on Logging (deprecated) - log to stderr or use OpenTelemetry