Agent Skills: add-dependency
Add a dependency to a Lean project's lakefile. Use when adding requires, dependencies, or imports to a project.
UncategorizedID: majiayu000/claude-skill-registry/add-dependency
11819
Install this agent skill to your local
Skill Files
Browse the full folder contents for add-dependency.
Loading file tree…
Select a file to preview its contents.