---

name: discover-plt description: Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks.

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:

Copycat ~/.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:

Copycat ~/.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.