Skills
.Work. You
Rest

lazy-family-map

Community

Streamline Idris2 package family management effortlessly.

Content & Communication#automation#development#cli#lazy#idris2#package mapping
Authorshogochiai
Version1.0.0
Installs0

System Documentation

What problem does it solve?

This Skill simplifies the process of mapping packages to their respective lazy CLI families, reducing manual configuration errors.

Core Features & Use Cases

  • Package-Family Mapping: Provides an organized table linking packages to their primary and secondary lazy families.
  • Reference & Validation: Acts as a quick reference for developers to ensure correct family usage.
  • Use Case: A developer uses this Skill to verify that a package like Idris2TheWorld is assigned to the correct family before deployment.

Quick Start

Ask the Skill for the family mapping of a specific Idris2 package to quickly confirm its configuration.

Dependency Matrix

Required Modules

None required

Components

references

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: lazy-family-map
Download link: https://github.com/shogochiai/vibecoding-demo/archive/main.zip#lazy-family-map

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.