restart_language_server
Restart the Serena MCP Server's language server to resolve editing errors caused by outdated server states when changes are made outside the platform.
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
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||