用途：discover-plt 是 cc-polymath 技能集合中的 PLT（编程语言理论）类别入口技能，用于在涉及编译器、解析器、类型系统、解释器、AST、LLVM、字节码、语法与语言设计等工作时，自动发现并加载相关 PLT 技能。
主要能力：作为网关技能，它提供对 PLT 类别下 13 个技能的自动访问，包括 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。
使用方式：该技能在 Claude Code 检测到 PLT 相关工作时自动激活。可运行 Read <cc-polymath-root>/skills/plt/INDEX.md 查看完整类别索引，其中包含各技能详细描述、使用触发条件、常见工作流组合及交叉引用；也可按需加载单个技能，例如 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。
渐进式加载：分为三级——第一级网关自动加载；第二级加载类别 INDEX.md 获取全貌；第三级按需加载具体技能。
适用场景：编译器与解释器开发、解析器与语法设计、类型系统研究、程序验证、结构化编辑器与类型洞相关探索等。
限制：资料未提供具体实现细节、依赖要求、收费或平台信息，暂未提供。