The catalogue ships as a directory of skill folders. Copy them into the Codex skills location:
mkdir -p ~/.codex/skills
cp -a skills/* ~/.codex/skills/
Re-run the copy when the catalogue is updated; skills are plain text and overwriting is safe.
Each skill directory is named after the name in its SKILL.md manifest, and
that name is the discovery name a strict loader uses. The two must agree: a
manifest without a name, or one that disagrees with its directory, is not
discoverable. The copy itself performs no validation; make lint is the
contributor gate that validates every shipped manifest before it is published,
so a malformed or non-conformant manifest fails there rather than reaching a
reader's skills directory.
The proptest deep dive is a regular Cargo dev-dependency; the relevant lines
for Cargo.toml and the recommended optional crates (proptest-derive,
test-strategy, proptest-state-machine) live in its skill.
The kani and verus deep dives delegate tool installation to
rust-prover-tools, which
exposes a single CLI for both:
prover-tools kani install
prover-tools verus install
Use prover-tools kani check-version and
prover-tools verus run --proof-file path/to/file.rs for the everyday loops.
The catalogue does not carry forked install scripts; the deep dives reference
the tool by name only.