Installs into .claude/skills of the current project.
Are you the author of Discover Plt?
Add the live security badge to your README. It updates with every re-scan.
[](https://www.skillsdirectory.com/skills/rand-discover-plt)
---
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:
```bash
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:
```bash
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.
