Webleank
Danger
Webleank is experimental and in early stages of development.
Webleank connects any LSP-compatible editor with a Lean editor sidekick application. A sidekick application provides Lean-specific functionality that is not available in most LSP-compatible editors.
As of March 2026, there is only one Lean editor sidekick: Plean sidekick. This simple sidekick is open-source, hosted at p.lean.castedo.com, and can also be hosted anywhere, including locally. A similar concept is available as lean-tui.
For reference information, including CLI help, see the repository README.