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:

Read /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 /skills/plt/curry-howard.md Read /skills/plt/dependent-types.md Read /skills/plt/hazelnut-calculus.md Read /skills/plt/lambda-calculus.md Read /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 Read <cc-polymath-root>/skills/plt/INDEX.md for full category overview

• 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.