SkillHub ClubResearch & OpsFull Stack

discover-plt

A gateway skill that automatically activates when working with compilers, parsers, and programming language theory. It provides access to 13 specialized PLT skills through a progressive loading system, starting with basic awareness and allowing users to drill down into specific topics like lambda calculus, type systems, and operational semantics.

Packaged view

This page reorganizes the original catalog entry around fit, installability, and workflow context first. The original raw source lives below.

Stars

Hot score

Updated

March 20, 2026

Overall rating

A7.4

Composite score

5.9

Best-practice grade

N/A

Install command

npx @skill-hub/cli install rand-cc-polymath-discover-plt

compilerpltprogramming-languagestype-systemstool-discovery

Repository

rand/cc-polymath

Skill path: skills/discover-plt

Open repository

Best for

Primary workflow: Research & Ops.

Technical facets: Full Stack.

Target audience: Developers working on compilers, interpreters, type systems, or programming language research who need quick access to PLT concepts and tools.

License: Unknown.

Original source

Catalog source: SkillHub Club.

Repository owner: rand.

This is still a mirrored public skill entry. Review the repository before installing into production workflows.

What it helps with

Install discover-plt into Claude Code, Codex CLI, Gemini CLI, or OpenCode workflows
Review https://github.com/rand/cc-polymath before adding discover-plt to shared team environments
Use discover-plt for development workflows

Works across

Claude CodeCodex CLIGemini CLIOpenCode

Favorites: 0.

Sub-skills: 0.

Aggregator: No.

Original source / Raw SKILL.md

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