colt-supplementary
100 / 100 · Low risk
Fine to try.
Use when structuring the appendix of a COLT (Conference on Learning Theory) submission — the unlimited-length proof appendix inside the single PDF — covering body/appendix splitting for a 12-page limit, theorem restatement discipline, lemma ordering, notation tables, and what referees expect to find where.
What this skill can do
We found nothing in the files we read that matches our rules. That does not prove the skill is safe: see the limits of static scanning.
Install
Paste this into your terminal. It downloads exactly the version we scanned, not whatever is newest.
if [ -e ~/.agents/skills/'colt-supplementary' ] || [ -L ~/.agents/skills/'colt-supplementary' ]; then echo 'A skill folder named colt-supplementary already exists — not replacing it' >&2; false; else d=$(mktemp -d) && git clone --quiet --filter=blob:none --no-checkout 'https://github.com/brycewang-stanford/Awesome-Journal-Skills' "$d" && git -C "$d" checkout --quiet '932eb23331721b16e967c59f093781be1928b498' -- 'COLT-Skills/skills/colt-supplementary' && mkdir -p ~/.agents/skills && cp -R "$d"/'COLT-Skills/skills/colt-supplementary' ~/.agents/skills/'colt-supplementary' && rm -rf "$d"; fi
Codex reads ~/.agents/skills directly. For Claude Code, Cursor, Copilot, Gemini CLI, Antigravity or OpenCode, also link it. For Claude Code: ln -s ~/.agents/skills/'colt-supplementary' ~/.claude/skills/'colt-supplementary' (other agents: ~/.cursor/skills, ~/.copilot/skills, ~/.gemini/skills, ~/.gemini/config/skills, ~/.config/opencode/skills). Or install through the finder skill, which does both.
Badge for your README
[](https://zalavijaysinh.github.io/skilltrust/repos/brycewang-stanford/Awesome-Journal-Skills/)
Score history
| Date | Version | Score |
|---|---|---|
| 2026-11-08 | 932eb23 | 100 |
| 2026-11-07 | 932eb23 | 100 |