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.
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.