Upload to Claude — use trek-plugin-dev-3.4.0.skill in the skill upload
dialog on claude.ai. It accepts a .zip or .skill archive containing a
SKILL.md; both files here are byte-identical, so either works.
Install locally — unpack into your skills directory:
# Claude Code
unzip trek-plugin-dev-3.4.0.zip -d ~/.claude/skills/
# Codex
unzip trek-plugin-dev-3.4.0.zip -d ~/.agents/skills/Or skip the download and install from the repo instead — marketplace, vendoring
and per-repo setup are covered in the
README.