Imported from majiayu000/claude-skill-registry (skills/skills/cc-polymath-discover-plt-emraher-eerskills/SKILL.md). Install upstream with npx skills add majiayu000/claude-skill-registry --skill cc-polymath-discover-plt-emraher-eerskills. Copyright stays with the author.

Plt Skills Discovery

Name: discover-plt
Author: majiayu000

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.

{ "ocm": "1", "id": "majiayu000-claude-skill-registry-cc-polymath-discover-pl-7a60e7", "kind": "skill", "name": "discover-plt", "description": "Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks.", "publisher": "majiayu000", "version": "1.0.0", "capabilities": { "domains": [ "general" ], "tags": [ "skill-md", "github" ], "languages": [ "en" ] }, "quality_prior": 0.6, "examples": [ "Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks." ], "primary": false, "metadata": { "source": { "provider": "github", "repository": "https://github.com/majiayu000/claude-skill-registry", "path": "skills/skills/cc-polymath-discover-plt-emraher-eerskills/SKILL.md", "ref": "a16e8e7bdddc9a7406a56f51e520cef7a8646208", "url": "https://github.com/majiayu000/claude-skill-registry/blob/a16e8e7bdddc9a7406a56f51e520cef7a8646208/skills/skills/cc-polymath-discover-plt-emraher-eerskills/SKILL.md", "key": "majiayu000/claude-skill-registry/skills/skills/cc-polymath-discover-plt-emraher-eerskills/SKILL.md" } }, "instructions": "# Plt Skills Discovery\n\nProvides automatic access to comprehensive plt skills.\n\n## When This Skill Activates\n\nThis skill auto-activates when you're working with:\n- compilers\n- parsers\n- programming language theory\n- type systems\n- interpreters\n- AST\n- LLVM\n- bytecode\n\n## Available Skills\n\n### Quick Reference\n\nThe Plt category contains 13 skills:\n\n1. **curry-howard**\n2. **dependent-types**\n3. **hazelnut-calculus**\n4. **lambda-calculus**\n5. **live-programming-holes**\n6. **operational-semantics**\n7. **program-verification**\n8. **structure-editors**\n9. **type-systems**\n10. **typed-holes-foundation", "cost": { "context_tokens": 473 } }

discover-plt

About

Plt Skills Discovery

When This Skill Activates

Available Skills

Quick Reference

Load Full Category Details

Load Specific Skills

Progressive Loading

Usage Instructions

Use it

Manifest

Reviews