lean-lsp

sci-lsp — scientific language servers for Claude Code

Language-server plugins for scientific/systems languages, from forKernels — Zig and Fortran.

Plugins

Plugin	Language server	Files
zig-lsp	zls	.zig, .zon
fortran-lsp	fortls	.f90 .F90 .f .F .f95 .f03 .f08 .for .fpp .f77
r-lsp	languageserver	.r, .R
julia-lsp	LanguageServer.jl	.jl
latex-lsp	texlab	.tex .bib .sty .cls
lean-lsp	lean --server	.lean

Install

1. Add the marketplace

/plugin marketplace add forKernels/sci-lsp

2. Install the language-server binaries

These plugins wrap external binaries — install them and make sure they're on your PATH.

zls (Zig) — zls is version-locked to your Zig release. Match them:

Zig	zls
0.15.x	0.15.0
0.16.x	0.16.0

# macOS arm64 example, Zig 0.15.x:
curl -sL -o /tmp/zls.tar.xz \
  https://github.com/zigtools/zls/releases/download/0.15.0/zls-aarch64-macos.tar.xz
mkdir -p /tmp/zls && tar -xf /tmp/zls.tar.xz -C /tmp/zls
install -m 0755 /tmp/zls/zls ~/.local/bin/zls
zls --version    # -> 0.15.0

fortls (Fortran) — via uv (recommended) or pipx/pip:

uv tool install fortls      # or: pipx install fortls
fortls --version

Ensure ~/.local/bin is on your PATH.

3. Enable

/plugin            # enable zig-lsp and fortran-lsp

or add to ~/.claude/settings.json:

"enabledPlugins": {
  "zig-lsp@sci-lsp": true,
  "fortran-lsp@sci-lsp": true
}

License

MIT © lupin4 / The Fantastic Planet