$pwd:
discover-plt
// Automatically discover programming language theory skills when working with compilers. Activates for plt development tasks.
$ git log --oneline --stat
stars:33
forks:2
updated:November 25, 2025 at 21:16
marketplace:true
SKILL.md
package.json
"author": "rand"
"repository": "rand/cc-polymath"
$ download --local
[HINT] Descarga el directorio completo de la habilidad incluyendo SKILL.md y todos los archivos relacionados
$ install --marketplacedocs
$ /plugin marketplace add rand/cc-polymath[INFO] Copia y pega este comando en Claude Code para instalar la habilidad
related-imports.ts
// Habilidades Relacionadas
import ai-assisted-development
from "baz-scm"
63
import rust-performance-analyzer
from "vanyastaff"
0
import vibe-coding
from "seungwonme"
0
import gemini
from "cexll"
1,289
import external-model-selection
from "MadAppGang"
1,265
import deepwiki-rs
from "sopaco"
567
import create-hooks
from "glittercowboy"
401
import claudemem-search
from "MadAppGang"
171
import discover-ir
from "rand"
33
import discover-formal
from "rand"
33
import mise
from "zenobi-us"
17
import ai-cross-verifier
from "centminmod"
9