Skip to content
TrustedSkillsbeta
Back to all skills

Rust Linear Type

Checked
huiali·vlatest·backend·MIT

Analyzes Rust code for linear type usage errors and suggests safe refactoring strategies to prevent memory unsafety.

Repository

Install on your platform

Showing Claude Code. One command installs this skill into any of the agents below.

  1. 1

    Run this in your project

    terminal
    $ npx skills add huiali/rust-skills --skill rust-linear-type -a claude-code

  2. Uses the open-source skills CLI and needs Node.js. Add -g to install it for your user instead of this project.

What we know about this skill

Publisher

huiali

Taken from the source listing. We haven't verified who controls this account.

Install target

Live repository

Not pinned. Installing fetches whatever the repository holds at the time you run the command.

No human has reviewed this code. The checks below are a static scan of the files at one commit — nobody has run this skill or judged whether it works. A skill runs with whatever access you give your agent, so read the source before you install it.

Automated safety checks

scanned

This skill passed all 6 checks. We read its files at one commit and looked for the things that make a skill dangerous to run — not for whether it works.

  • Declares what it does: passed

    SKILL.md parses and declares a name and a description.

    SKILL.md exists, its frontmatter parses, and it declares a name and a description.

  • No undeclared network calls: passed

    Makes no network calls.

    Every host the skill dials — from its scripts, its config endpoints or the commands it tells the agent to run — is either well-known package and API infrastructure or declared in its own frontmatter. Links in documentation are not counted.

  • No obfuscated payloads: passed

    No encoded or obfuscated payloads.

    No base64, hex or compressed blob is decoded and then executed, and no encoded shell commands.

  • No credential access: passed

    Reads no keys, tokens, keychains or credential files.

    Neither the code nor the SKILL.md instructions read SSH keys, cloud credentials, keychains, token stores, browser cookie databases or dotfiles that hold secrets.

  • No pipe-to-shell installers: passed

    No pipe-to-shell or download-and-run installers.

    No `curl … | sh` pattern, in the code or in the instructions, that runs code fetched at run time.

  • Pinned to a commit: passed

    Scanned huiali/rust-skills at 947bf77509.

    The exact upstream commit SHA that was scanned is recorded, so the result refers to specific bytes.

Commit
947bf77509
Manifest
skills/rust-linear-type/SKILL.md
Scanned
8 files, 1,110 lines
Copies in repo
2 — all of them scanned
This is a static scan, not a review. It reads the skill's files; it does not run them, and it cannot tell you whether the skill is any good or whether the code does what its description says. A skill runs with whatever access you give your agent.
What each check looks for →

About this skill

What it does

This skill provides access to Rust's linear type system. It allows you to reason about resources and ownership in a more precise way, ensuring that a resource can only have one active user at any given time. This is particularly useful for managing concurrent operations and preventing data races.

When to use it

  • Resource Management: When your agent needs to manage exclusive access to a limited resource like a file handle or database connection.
  • Concurrency Control: To ensure safe concurrent execution by guaranteeing that only one part of the code can modify a shared resource at once.
  • Preventing Data Races: When building multi-threaded applications where data races are a concern, this skill helps enforce ownership rules.

Key capabilities

  • Linear type annotations in Rust code.
  • Resource tracking and exclusive access management.
  • Compile-time enforcement of single ownership.

Example prompts

  • "Write a Rust function that uses the linear type system to ensure only one thread can write to this file at a time."
  • "Generate Rust code demonstrating how to use a linear type for managing a database connection and preventing concurrent access."
  • “Show me an example of using a linear type in Rust to guarantee exclusive ownership of a network socket.”

Tips & gotchas

  • Requires familiarity with Rust programming concepts.
  • Linear types can significantly increase code complexity, so use them judiciously where strict resource management is essential.