Plt Skills Discovery Skill

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:

curry-howard
dependent-types
hazelnut-calculus
lambda-calculus
live-programming-holes
operational-semantics
program-verification
structure-editors
type-systems
typed-holes-foundations
typed-holes-interaction
typed-holes-llm
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

Auto-activation: This skill loads automatically when Claude Code detects plt work
Browse skills: Run cat ~/.claude/skills/plt/INDEX.md for full category overview
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.

Agent Skills: Plt Skills Discovery

Skill Files