Use when editing .lean files, debugging Lean 4 builds (type mismatch, sorry, failed to synthesize instance, axiom warnings, lake build…
Free
Details
This publisher has an account here and has not listed a server yet.
Developer Tools & Repos
0 + 1
servers + skills
1 category
—
installs
across every listing
0
followers
told when a release lands
—
average rating
no reviews yet
1 agent skill — instructions the agent loads on demand. 1 of 1 is free. Median context cost 169.7k tokens.
Authentication
0 of 0 use OAuth
The rest either hold an API key issued by the publisher or ask for nothing.
Support
Community publisher
Listed without a verification tick. Read the listing before installing.