fortran-lsp
claudeFortran language server (fortls) for code intelligence and analysis
1
claude
lean-lsp
Lean 4 language server (lean --server) for formal math and proofs
/
Plugin lean-lsp from marketplace sci-lsp in forKernels/sci-lsp. Commands read from the repo's manifest — 1 month ago.
What it installs
No skills, commands, agents, hooks or MCP servers were found in the standard plugin folders.
More from forKernels/sci-lsp
All 6 plugins →julia-lsp
claudeJulia language server (LanguageServer.jl) for scientific computing
1
latex-lsp
claudeLaTeX language server (texlab) for scientific writing
1
r-lsp
claudeR language server (languageserver) for statistics and data science
1
zig-lsp
claudeZig language server (zls) for code intelligence and analysis
1
Similar plugins
superpowers
claudecodexCore skills library for Claude Code: TDD, debugging, collaboration patterns, and proven techniques
15 skills · hooks
obra/superpowers 316,836
context7
claudecodexUp-to-date documentation lookup. Pull version-specific documentation and code examples directly from source repositories into your coding agent's context.
1 MCP server
upstash/context7 64,709
cli-anything
claudeBuild powerful, stateful CLI interfaces for any GUI application using the cli-anything harness methodology.
5 commands
HKUDS/CLI-Anything 58,665
agent-browser
claudeAutomates browser interactions for web testing, form filling, screenshots, and data extraction
12 skills
vercel-labs/agent-browser 50,373
Open Code Review
codexUse Alibaba Open Code Review from local Codex.
2 skills
alibaba/open-code-review 50,068
slidev
claudeClaude Code skill for creating and presenting Slidev slidedecks
1 skill
slidevjs/slidev 49,452
Maintain lean-lsp?
This page updates itself from your repo. Add the badge to your README, or get it Featured to pin it above the organic results with a followed link to your site.
claude & codex plugins6 plugins