Rust Unsafe Boundaries

What it does

When your agent uses it

• Reviewing unsafe code
• Unsafe functions
• Pointer aliasing
• Safe abstractions over unsafe internals

Example prompts

• “/rust-unsafe-boundaries”

Requirements

• Compatibility (from SKILL.md): Codex, Claude Code, and other Agent Skills-compatible clients.

Workflow steps

7 steps, taken from the first numbered list in SKILL.md.

1. 1Try the safe design first. Check standard APIs, ownership restructuring,
2. 2State the invariant that safe Rust cannot prove. If the invariant cannot be
3. 3Keep unsafe blocks tiny. Put runtime checks and setup in safe code before the
4. 4Add a // SAFETY: comment immediately before each unsafe block explaining
5. 5Mark a function unsafe fn only when callers must uphold extra conditions.
6. 6Enable or respect unsafe_op_in_unsafe_fn; unsafe operations inside unsafe
7. 7Test normal behavior, boundary cases, panic paths, and drop behavior. Run

What it can do on your machine

Read from SKILL.md and the folder at commit 9e7b281. It shows what the files ask for, not the result of running them.

• Tool permissions

  Pre-approves nothing: there is no allowed-tools line, so your agent's usual permission prompts apply.

  From allowed-tools in the SKILL.md frontmatter.

• Runs code

  No scripts in the folder and no shell commands in SKILL.md (its code samples are rust).

  From the folder's file list and the shell code blocks in SKILL.md.

• Network

  No URLs in SKILL.md.

  From URLs in SKILL.md, links to its own repository left out.

• Credentials

  Names no API keys, tokens, secrets or passwords.

  From names ending in _API_KEY, _TOKEN, _SECRET, _KEY or _PASSWORD in SKILL.md.

• Compatibility

  Codex, Claude Code, and other Agent Skills-compatible clients.

  From compatibility in the SKILL.md frontmatter.

Context cost

Rust Unsafe Boundaries loads about 782 tokens when it runs, and up to ~1.1k if it reads all its reference files. Until then it costs about 83 tokens; SKILL.md has 302 words of instructions outside code blocks.

Always · name and description, kept in context so the agent knows when to use it

~83

When it runs · the whole SKILL.md, loaded when a task matches

~782

With references · SKILL.md plus every file in references/, read only if the agent opens them

~1.1k

Estimates: characters ÷ 4, the usual rule of thumb; real counts depend on the model's tokenizer. Scripts and assets cost tokens only if the agent reads them.

Safety

Automated static check — not a guarantee. Review scripts before installing. It scans the text of SKILL.md for risky patterns (piping downloads into a shell, reading credential files, hidden Unicode, destructive commands); files beside SKILL.md are not scanned.

SKILL.md

The full file from hashgraph-online/awesome-codex-plugins at commit 9e7b281, republished under its MIT licence (© hashgraph-online). 302 words, ~782 tokens.

name

rust-unsafe-boundaries

description

Isolate and review unsafe Rust behind small, documented, testable boundaries with explicit invariants. Use when writing, refactoring, or reviewing unsafe code, raw pointers, unsafe functions, unsafe traits, MaybeUninit, pointer aliasing, panic safety, Miri checks, or safe abstractions over unsafe internals.

compatibility

Codex, Claude Code, and other Agent Skills-compatible clients.

license

MIT

metadata.version

0.1.0

metadata.displayName

Rust Unsafe Boundaries

metadata.category

Rust

metadata.tags

rust,unsafe,raw-pointers,memory-safety,miri

/// # Safety
///
/// `ptr` must be non-null, aligned for `T`, initialized, and valid for reads
/// for the returned lifetime. No mutable reference may alias the same value.
pub unsafe fn read_ref<'a, T>(ptr: *const T) -> &'a T {
    // SAFETY: The caller guarantees `ptr` satisfies the documented contract.
    unsafe { &*ptr }
}

© hashgraph-online, MIT. Rendered from Markdown: HTML in the file is shown as text, images as links, and headings moved down two levels. Raw file

Files

SKILL.md and 2 other files (references) in plugins/LVTD-LLC/skills/skills/rust-unsafe-boundaries of hashgraph-online/awesome-codex-plugins.

• SKILL.md
• agents/openai.yaml
• references/safety-invariants.md

Open the folder on GitHubat commit 9e7b281