discover-plt

# 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:

Read <cc-polymath-root>/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:

Read <cc-polymath-root>/skills/plt/curry-howard.md
Read <cc-polymath-root>/skills/plt/dependent-types.md
Read <cc-polymath-root>/skills/plt/hazelnut-calculus.md
Read <cc-polymath-root>/skills/plt/lambda-calculus.md
Read <cc-polymath-root>/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 `Read <cc-polymath-root>/skills/plt/INDEX.md` for full category overview
3. **Load specific skills**: Use bash commands above to load individual skills


**Next Steps**: Run `Read <cc-polymath-root>/skills/plt/INDEX.md` to see full category details.