SkillVaultskills Browse all 1,000+ skills

Security · Version 1.3.0 · Reviewed 2026-08-02

Rust Security Hardening Specialist

Find and prioritize exploitable risk in rust threat-boundary review and rust least-privilege hardening with evidence, explicit trade-offs, and a verification plan.

4 method steps 4 documented failure modes 4 diagnostic checks 7 quality gates

Traces reachable attack paths and hardens trust boundaries for Rust using crate graph, ownership boundaries, unsafe blocks, and async executors and compiler diagnostics, flame graphs, and sanitizer or Miri findings, with explicit attention to an unsafe invariant or lock held across await invalidating memory or progress guarantees.

₹299 one-time

Get this skill archive

Install in your AI coding tool

SkillVault packages this skill in the open Agent Skills format for five leading coding tools.

What this skill helps you do

  • Rust threat-boundary review
  • Rust least-privilege hardening
  • Rust security control verification

How Rust Security Hardening Specialist works

You provide

Code, configuration, and the deployment trust model

It inspects

Reachable input-to-sink paths for rust threat-boundary review

It decides

A rust least-privilege hardening finding ranked by blast radius

You verify

Re-attempt the exploit path after remediation

What it checks first

Rust Security Hardening Specialist traces reachable attack paths and hardens trust boundaries for Rust using crate graph, ownership boundaries, unsafe blocks, and async executors and compiler diagnostics, flame graphs, and sanitizer or Miri findings, with explicit attention to an unsafe invariant or lock held across await invalidating memory or progress guarantees. Use it when the work involves Rust threat-boundary review, Rust least-privilege hardening, Rust security control verification.

  1. Trust boundaries and every point where untrusted input crosses one.
  2. Where authorization is enforced relative to where data is accessed.
  3. Secret handling: creation, storage, transmission, rotation, and revocation.
  4. What an attacker gains at each step, which determines whether a finding is material.

Failure modes it recognizes

  • Authorization enforced at the perimeter while internal callers reach the same data unchecked.
  • A single unparameterized query path among many parameterized ones.
  • Sensitive values written to logs or error responses.
  • A dependency vulnerability that is reachable in one code path and unreachable in the rest.

Answers it will reject

  • Reporting theoretical findings as exploitable without a demonstrated path.
  • Blocking a payload signature instead of removing the vulnerability class.
  • Treating obscurity as a control, which delays discovery without preventing exploitation.

Decision rules it applies

  • Prioritize by reachability and blast radius, not by scanner severity.
  • Fail closed on any ambiguity in an access decision.
  • Prefer eliminating the capability over sanitizing input into it.

Evidence it asks for

  • Trace input to sink and name every file and function on the path.
  • Verify the fix by attempting the original exploit path.
  • Check logs for prior exploitation before closing a finding.

The method inside

  1. Extract decisions, facts, and unresolved questions needed for rust threat-boundary review.
  2. Organize rust least-privilege hardening around the reader's next decision or action rather than the source order.
  3. Draft rust security control verification with source traceability and no invented behavior.
  4. Run a completeness, consistency, audience, and actionability review before returning the artifact.

Deliverables

  • Rust threat-boundary review assessment
  • Rust least-privilege hardening decision and action plan
  • Rust security control verification verification checklist

Evidence requirements

  • Code, configuration, data flows, and trust boundaries
  • Identity, authorization, and deployment context
  • Threat model, controls, and known assumptions

Quality gates

  • Every material claim traces to supplied evidence or is labeled as a hypothesis.
  • The response follows the declared deliverable contract.
  • No execution, access, measurement, or verification is invented.
  • Secrets and personal data are redacted rather than repeated.
  • The user receives a concrete independent verification step.
  • The relevant failure modes in this domain were considered rather than only the reported symptom.
  • No listed anti-pattern was recommended as a solution.

Example task

Input

Apply the security hardening specialist to our Rust system before the next production change. We can provide crate graph, ownership boundaries, unsafe blocks, and async executors; the main concern is an unsafe invariant or lock held across await invalidating memory or progress guarantees.

Expected output

Treat safe abstractions, unsafe code, FFI, and asynchronous task ownership as the primary trust boundary and enumerate who can cross it with which authority. The concrete failure path is an unsafe invariant or lock held across await invalidating memory or progress guarantees. Remove the broad grant or unsafe input path first, then re-attempt that exact path and inspect the resulting audit evidence.

Boundaries and compatibility

Ideal for

  • Rust threat-boundary review: produce a decision or artifact grounded in supplied evidence.
  • Rust least-privilege hardening: produce a decision or artifact grounded in supplied evidence.
  • Rust security control verification: produce a decision or artifact grounded in supplied evidence.

Out of scope

  • Authorizing offensive actions against systems without permission
  • Reporting theoretical issues as exploitable without a path

Agent compatibility

  • GitHub Copilot Agent Skills
  • Cursor Agent Skills
  • Claude Code Skills
  • OpenAI Codex Skills
  • JetBrains Junie Skills

Tool policy: Advisory by default. No tools are assumed. If the host provides tools, use read-only evidence gathering unless the user explicitly approves a scoped write or execution action.