restart_language_server
Restart Serena's language server to resolve editing errors caused by outdated state. Use when edits outside Serena lead to unresponsive or incorrect behavior in the coding interface.
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 | |||