lake plugins

The directory indexes 4 plugins tagged “lake” from 1 public source repositories, with 4 skills and 0 MCP servers across the collection.

4 plugins1 repositories0 cross-runtimeIndexing methodology →

tag: lake Clear all

bootstrap-project
by Christopher Boone
Assess a repository, determine what scaffolding and setup tools are needed, present a plan, and execute them in the correct order.
Claude Code1 Skill
2Updated last week
bootstrap-project
by Christopher Boone
Assess a repository, determine what scaffolding and setup tools are needed, present a plan, and execute them in the correct order.
Claude Code1 Skill
2Updated last week
scaffold-lean-library
by Christopher Boone
Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.
Claude Code1 Skill
2Updated last week
scaffold-lean-library
by Christopher Boone
Scaffold a Lean 4 library project with Mathlib or PFR dependencies, Lake test/lint wiring, GitHub Actions CI, text linting, and agent instructions.
Claude Code1 Skill
2Updated last week