$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:25 novembre 2025 à 21:16
marketplace:true
SKILL.md
package.json
"author": "rand"
"repository": "rand/cc-polymath"
$ download --local
[HINT] Téléchargez le répertoire complet incluant SKILL.md et tous les fichiers associés
$ install --marketplacedocs
$ /plugin marketplace add rand/cc-polymath[INFO] Copiez et collez cette commande dans Claude Code pour installer le skill
related-imports.ts
// Skills associés
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