Skip to content
store
L

lean4-lean-lsp

Lean 4 language server via the lean binary

by Piebald-AIFree

Launch
#10350in AI Skills
0In stores

Description

Lean 4 language server via the lean binary — for standalone .lean files outside Lake projects. Replaces the inefficient CLI-based workflow w…

Ratings & Reviews

No ratings yet

Be the first to rate lean4-lean-lsp.

People also visit

A

apify-actor-development

Develop, debug, and deploy Apify Actors

AI Skills
Launch
A

apify-actorization

Convert existing projects into Apify Actors - serverless cloud programs

AI Skills
Launch
A

apify-generate-output-schema

Generate output schemas (dataset_schema.json, output_schema.json

AI Skills
Launch
C

customaize-agent

Commands and skills for writing and refining commands, hooks

AI Skills
Launch
D

ddd

Introduces command to update CLAUDE.md

AI Skills
Launch
F

fpf

First Principles Framework (FPF) for structured reasoning

AI Skills
Launch
See all lean4-lean-lsp alternatives

lean4-lean-lsp FAQ

What is lean4-lean-lsp?

Lean 4 language server via the lean binary — for standalone .lean files outside Lake projects. Replaces the inefficient CLI-based workflow with native LSP

Is lean4-lean-lsp free?

Yes. lean4-lean-lsp is free to use.

Do I need to download lean4-lean-lsp?

No. lean4-lean-lsp runs in your browser at github.com, so there's nothing to install.

Who makes lean4-lean-lsp?

lean4-lean-lsp is made by Piebald-AI.

What are the best lean4-lean-lsp alternatives?

Popular alternatives to lean4-lean-lsp include apify-actor-development, apify-actorization and apify-generate-output-schema. See all lean4-lean-lsp alternatives

Developer Stuff

Badges