Plt Skills Discovery

Provides automatic access to comprehensive plt skills.

When This Skill Activates

This skill auto-activates when you're working with:

• compilers
• parsers
• programming language theory
• type systems
• interpreters
• AST
• LLVM
• bytecode

Available Skills

Quick Reference

The Plt category contains 13 skills:

1. curry-howard
2. dependent-types
3. hazelnut-calculus
4. lambda-calculus
5. live-programming-holes
6. operational-semantics
7. program-verification
8. structure-editors
9. type-systems
10. typed-holes-foundations
11. typed-holes-interaction
12. typed-holes-llm
13. typed-holes-semantics

Load Full Category Details

For complete descriptions and workflows:

cat ~/.claude/skills/plt/INDEX.md

This loads the full Plt category index with:

• Detailed skill descriptions
• Usage triggers for each skill
• Common workflow combinations
• Cross-references to related skills

Load Specific Skills

Load individual skills as needed:

cat ~/.claude/skills/plt/curry-howard.md
cat ~/.claude/skills/plt/dependent-types.md
cat ~/.claude/skills/plt/hazelnut-calculus.md
cat ~/.claude/skills/plt/lambda-calculus.md
cat ~/.claude/skills/plt/live-programming-holes.md

Progressive Loading

This gateway skill enables progressive loading:

• Level 1: Gateway loads automatically (you're here now)
• Level 2: Load category INDEX.md for full overview
• Level 3: Load specific skills as needed

Usage Instructions

1. Auto-activation: This skill loads automatically when Claude Code detects plt work
2. Browse skills: Run

   cat ~/.claude/skills/plt/INDEX.md

   for full category overview
3. Load specific skills: Use bash commands above to load individual skills

---

Next Steps: Run

cat ~/.claude/skills/plt/INDEX.md

to see full category details.