discover-plt
について
discover-pltスキルは、コンパイラ開発やプログラミング言語理論、パーサー、型システム、インタプリタなどの関連タスクを扱う際に自動的に起動します。このスキルは、ラムダ計算、操作的意味論、プログラム検証などの分野をカバーする13種類の専門PLTスキルへのアクセスを提供します。これにより、開発者は高度なPLT概念に対する文脈を考慮したサポートを開発中に即座に受けることができます。
クイックインストール
Claude Code
推奨/plugin add https://github.com/rand/cc-polymathgit clone https://github.com/rand/cc-polymath.git ~/.claude/skills/discover-pltこのコマンドをClaude Codeにコピー&ペーストしてスキルをインストールします
ドキュメント
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 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 skills/plt/curry-howard.md
cat skills/plt/dependent-types.md
cat skills/plt/hazelnut-calculus.md
cat skills/plt/lambda-calculus.md
cat 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 skills/plt/INDEX.mdfor full category overview - Load specific skills: Use bash commands above to load individual skills
Next Steps: Run cat skills/plt/INDEX.md to see full category details.
GitHub リポジトリ
関連スキル
content-collections
メタThis skill provides a production-tested setup for Content Collections, a TypeScript-first tool that transforms Markdown/MDX files into type-safe data collections with Zod validation. Use it when building blogs, documentation sites, or content-heavy Vite + React applications to ensure type safety and automatic content validation. It covers everything from Vite plugin configuration and MDX compilation to deployment optimization and schema validation.
sglang
メタSGLang is a high-performance LLM serving framework that specializes in fast, structured generation for JSON, regex, and agentic workflows using its RadixAttention prefix caching. It delivers significantly faster inference, especially for tasks with repeated prefixes, making it ideal for complex, structured outputs and multi-turn conversations. Choose SGLang over alternatives like vLLM when you need constrained decoding or are building applications with extensive prefix sharing.
cloudflare-turnstile
メタThis skill provides comprehensive guidance for implementing Cloudflare Turnstile as a CAPTCHA-alternative bot protection system. It covers integration for forms, login pages, API endpoints, and frameworks like React/Next.js/Hono, while handling invisible challenges that maintain user experience. Use it when migrating from reCAPTCHA, debugging error codes, or implementing token validation and E2E tests.
Algorithmic Art Generation
メタThis skill helps developers create algorithmic art using p5.js, focusing on generative art, computational aesthetics, and interactive visualizations. It automatically activates for topics like "generative art" or "p5.js visualization" and guides you through creating unique algorithms with features like seeded randomness, flow fields, and particle systems. Use it when you need to build reproducible, code-driven artistic patterns.
