Skip to content
TrustedSkillsbeta
Back to all skills

M05 Type Driven

Checked
actionbook·vlatest·other

M05 Type Driven executes actions based on specified types, streamlining workflows and automating targeted tasks efficiently.

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 actionbook/rust-skills --skill m05-type-driven -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

actionbook

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 actionbook/rust-skills at 5c40d3ad78.

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

Commit
5c40d3ad78
Manifest
skills/m05-type-driven/SKILL.md
Scanned
1 file, 168 lines
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, M05 Type Driven, helps AI agents design software by leveraging type systems to prevent errors and enforce invariants at compile time rather than runtime. It focuses on using techniques like newtypes, type states, and phantom data to encode constraints directly into the code's types, leading to more robust and reliable applications. The skill guides the agent through a process of questioning whether an error can be caught by the compiler before resorting to runtime checks.

When to use it

  • When designing systems where preventing invalid states is critical.
  • When refactoring existing code that relies heavily on runtime validation.
  • To create more type-safe wrappers around primitive data types (e.g., ensuring a string represents a valid email address).
  • For implementing state machines with well-defined and validated transitions.
  • When needing to track phantom type parameters for variance or lifetime management.

Key capabilities

  • Newtype Pattern: Creating custom types based on primitive types to enforce constraints (e.g., struct UserId(u64)).
  • Type State Pattern: Representing state machines using tagged unions encoded as types (e.g., Connection<Connected>).
  • PhantomData: Managing variance and lifetimes through phantom type parameters.
  • Marker Traits: Implementing capability flags to track whether an object meets certain criteria.
  • Builder Pattern: Enabling gradual construction of complex objects with validation at each step.

Example prompts

  • "I need a way to represent user IDs safely; they should always be positive integers."
  • "How can I model a connection state machine with states like 'disconnected', 'connected', and 'authenticated'?"
  • "Can you help me create a type-safe wrapper for an email address, ensuring it’s valid before use?"

Tips & gotchas

  • This skill is best used when designing new systems or refactoring existing ones. It requires understanding of Rust type system concepts.
  • The skill focuses on compile-time validation; runtime checks may still be necessary in some cases where invariants cannot be encoded in types.
  • Consider using the "Trace Up" feature to connect this skill with m09-domain for domain model guidance and m04-zero-cost for marker trait usage.