Rust Correctness

Use when writing, fixing, or reviewing Rust code involving error handling, type invariants, ownership, lifetimes, async Send bounds, Clippy, or MSRV. Apply to E0382, E0499, E0502, E0597, E0716, use after move, overlapping borrows, short-lived temporaries, non-Send futures, panics on external input, deserialization that bypasses validation, and swapped identifiers.

8 starsSoftware Development

Install

skills CLI (Claude Code, Cursor, Codex and more)

npx skills add zsoXi/rust-correctness --skill rust-correctness

Manual install

git clone --depth 1 https://github.com/zsoXi/rust-correctness.git /tmp/rust-correctness
mkdir -p ~/.claude/skills
cp -r /tmp/rust-correctness/. ~/.claude/skills/rust-correctness

Personal skills live in ~/.claude/skills. Use .claude/skills in a project folder to share a skill with your team.

From the SKILL.md

# Rust correctness

Make the smallest coherent change that satisfies the required behavior. Successful compilation and clean lints establish specific properties; they do not establish every requirement of the task.

## Establish the contract

1. Read the task, applicable project instructions, the affected manifest, and relevant CI commands. Identify the edition, minimum supported Rust version (MSRV), features, target platforms, and public API commitments. Record missing information instead of inventing it.
2. Restate the acceptance criteria without changing their meaning. Separate requirements from implementation suggestions. A request for a small diff does not cancel an explicit requirement.
3. Inspect the existing working tree and preserve unrelated changes. Keep dependency changes, toolchain installation, and broad automatic rewrites within the authorized scope.
4. Resolve the technical problem within the established constraints. If two binding requirements conflict, name the conflict and mark the affected criterion as unmet. Continue independent work that remains possible.

## Core decisions

| Situation | Required action |
|---|---|
| Input or I/O can fail. | Return or handle the failure deliberately. Do not add a panic, fallback, or skipped record merely to make a check pass. |
| A caller needs to distinguish failure causes. | Preserve the required category and cause object. Do not parse `Display` text or replace a useful source with `to_string()`. |

Read the full skill on GitHub

Details

Skill name: rust-correctness
Repository: zsoXi/rust-correctness
Repo updated: 6 October 2026

FAQ

What does the Rust Correctness skill do?

How do I install the Rust Correctness skill?

skills CLI (Claude Code, Cursor, Codex and more): npx skills add zsoXi/rust-correctness --skill rust-correctness. Skills go in ~/.claude/skills (personal) or .claude/skills (project), and Claude loads them automatically when a task matches the description.

Is Rust Correctness popular?

It lives in zsoXi/rust-correctness, which has 8 GitHub stars and 0 forks.

Related skills

Xways Xtension Authoring

kev365/xways-xtension-builder-skill

This skill should be used when the user asks to "create/scaffold a new X-Tension", "wrap a CLI tool in an X-Tension", "port a convention into an X-Tension" (helper-exe verification, Ctrl-to-save, output-dir), "audit/modernize an X-Tension", "build/compile an X-Tension", "prep an X-Tension for public release", or asks which XWF_* API call, flag, or property number to use, for X-Ways Forensics. Covers template selection, the PowerShell scaffold/build scripts, the convention library, and verifying every XWF_ call against distilled API reference notes. Does NOT handle general X-Ways usage question

Software Development

Powershell Windows CLI

UncertaintyDeterminesYou4ndMe/powershell-windows-cli-agent-skill

PowerShell and Windows Command Prompt (CMD/Batch) expert skill. Use whenever the user asks about PowerShell, pwsh, CMD.exe, batch files, Windows Terminal, Windows command line, Windows administration, Windows automation, registry edits, Windows services, event logs, scheduled tasks, WMI/CIM, Active Directory, UAC, execution policy, file permissions, PATH environment variables, or running Windows commands from an agent. Trigger especially on phrases like: "write a PowerShell script", "how do I do X in CMD", "Windows batch", "PowerShell error", "my CMD command failed", "list services", "query ev

Software Development

Octav API

Octav-Labs/octav-api-skill

Integrate with Octav API for cryptocurrency portfolio tracking, transaction history, and DeFi analytics across 50+ blockchain networks. Use when building applications that need to: (1) Track wallet balances and net worth across multiple chains, (2) Query transaction history with filtering and search, (3) Monitor DeFi protocol positions (Aave, Uniswap, etc.), (4) Access historical portfolio snapshots, (5) Analyze token distribution and holdings, (6) Pay per request as an autonomous agent via x402. Triggers on: "Octav API", "crypto portfolio API", "blockchain portfolio tracking", "DeFi analytics

Software DevelopmentIn 2 lists

Opus Mode for Codex

ncusspm25/opus-mode-for-codex

Use for long-running or multi-turn tasks, ambiguous debugging, architecture work, multi-file changes, complex research, and continuation of context-heavy work. Preserve task state, synthesize earlier context, maintain global consistency, investigate root causes, challenge premature conclusions, and verify outcomes before claiming completion. Do not use for trivial edits, obvious one-step tasks, simple rewrites, isolated typos, or simple questions.

Software Development

Ozon API

MissiaL/ozon-api

Use for Ozon Seller API and Ozon Performance API work: товары, цены, остатки, FBS/rFBS/FBO, поставки, возвраты, отчёты, финансы, отзывы, чаты, реклама, кампании, статистика, ставки. Triggers: ozon, озон, Ozon API, озон апи, Seller API, реклама на озоне, api-seller.ozon.ru, api-performance.ozon.ru, docs.ozon.ru/api.

Software Development

Lixi Reverse

wobushilixi/lixi-reverse

【启动词：李喜，路径，需求】李喜 = 安卓授权/卡密验证的全自动逆向绕过。四层判型：控制面 APK/dex · 脚本面壳里的 .lua · 载荷面 ELF/.so · 特权面 .ko 内核模块；另加服务端判决面（真响应重放 / 假服务器 / SNI 侦察）。一个入口脚本跑完只读分析并出【带原字节的可执行命令】。23 个 Python 工具 + 3 个跨语言第一响应，不依赖 jadx/apktool/frida。核心判据：能不能破由"判决归属"决定，不由"加密强度"决定。输出语言：中文。触发词：李喜 / 安卓逆向 / APK / dex / 卡密 / 授权 / 内核模块 / ko / 驱动 / ELF / so / 脱壳 / 加固 / 重放 / 绕过。

Software Development

Browse the most popular Claude skills, all software development skills, or write your own with the skills generator.