If that doesn't work, you can try cloning this repository and replace "lean-lsp-mcp" with "/path/to/cloned/lean-lsp-mcp". Claude Code (Click to expand) Run one of ...
Open gradle.properties in the root of the project and change the hytaleHome property to point to where Hytale is installed on your computer.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results