restart_language_server
Restart the language server to resolve editing errors caused by outdated states, ensuring accurate code updates in Serena MCP Server.
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 | |||
Input Schema (JSON Schema)
{
"properties": {},
"title": "applyArguments",
"type": "object"
}