refresh
Refresh the Spring Tools workspace so the language server re-indexes files on disk (use after /rewind, a large git checkout, external edits the watcher may have missed, or when a project is missing from getProjectList).
ソース情報
- リポジトリ
- spring-projects/spring-tools
- ソースの最終更新活動
- 2026年10月30日 18:51
- 検出された SKILL.md の言語
- 英語
- スター
- 989
- フォーク
- 246
インストール方法
デフォルトでは、最初にソースを確認する Prompt が選択されています。直接コマンドに切り替えるか、ローカルコピーをダウンロードすることもできます。
ソースファイルを確認
インストールを決める前に、SKILL.md と SkillsMP に表示されている付属ファイルをお読みください。
SKILL.md を表示中
SKILL.md
ソースの指示 · 読み取り専用プレビュー- name
- refresh
- description
- Refresh the Spring Tools workspace so the language server re-indexes files on disk (use after /rewind, a large git checkout, external edits the watcher may have missed, or when a project is missing from getProjectList).
- allowed-tools
- ["mcp__plugin_spring-tools_spring-tools-mcp__refreshWorkspace","mcp__plugin_spring-tools_spring-tools-mcp__fileChanged","mcp__plugin_spring-tools_spring-tools-mcp__fileDeleted"]
Bring the Spring Tools index back in sync with the files on disk. The language server watches the workspace directory and the plugin's hooks report Claude's own edits, so this is only needed when the index looks stale (a diagnostic refers to code that is gone, a new project or class is missing, the tree changed massively after `/rewind` or a branch switch).
- Without arguments, or after a git checkout/pull/stash, `/rewind` or a build tool regenerating sources: call the `refreshWorkspace` tool on the `spring-tools-mcp` MCP server. It re-reads the project model (discovering added and removed projects) and re-indexes every source file.
- When the user names one file or a small set of files that changed or disappeared outside of Claude's edits: call `fileChanged` (absolute path) for each file that exists and `fileDeleted` for each file that was removed instead of a full refresh - this is much cheaper on large workspaces.
Do not do anything else. After the tool returns, briefly confirm to the user what was refreshed.
GitHubで見る