Skip to content
store
L

lean4

Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove

by cameronfreerFree

Launch
#10406in AI Skills
0In stores

Description

Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — LSP-first, sc…

Ratings & Reviews

No ratings yet

Be the first to rate lean4.

People also visit

C

content-research-writer

Assists in writing high-quality content by conducting research

AI Skills
Launch
B

brand-guidelines

Applies Anthropic's official brand colors and typography

AI Skills
Launch
C

canvas-design

Create beautiful visual art in .png and .pdf documents using design philosophy

AI Skills
Launch
C

changelog-generator

Automatically creates user-facing changelogs from git commits

AI Skills
Launch
C

competitive-ads-extractor

Extracts and analyzes competitors' ads from ad libraries

AI Skills
Launch
C

connect

Connect Claude to any app

AI Skills
Launch
See all lean4 alternatives

lean4 FAQ

What is lean4?

Unified Lean 4 plugin (draft, formalize, autoformalize, prove, autoprove, checkpoint, review, refactor, golf, learn, doctor) — LSP-first, scripts fallback.

Is lean4 free?

Yes. lean4 is free to use.

Do I need to download lean4?

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

Who makes lean4?

lean4 is made by cameronfreer.

What are the best lean4 alternatives?

Popular alternatives to lean4 include content-research-writer, brand-guidelines and canvas-design. See all lean4 alternatives

Developer Stuff

Badges