Solidity language server for Claude Code — go-to-definition, diagnostics, hover, autocomplete, and formatting for .sol files