restart_language_server
Restart the language server to resolve editing errors when code changes occur outside Serena MCP Server, ensuring accurate code analysis and editing capabilities.
Instructions
Use this tool only on explicit user request or after confirmation. It may be necessary to restart the language server if the user performs edits not through Serena, so the language server state becomes outdated and further editing attempts lead to errors.
If such editing errors happen, you should suggest using this tool.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||