Skills
.Work. You
Rest

high-assurance-patterns

Community

Enforce high-assurance Rust patterns for code

Software Engineering#validation#audit#rust#security-patterns#trust-gates#high-assurance#must-use
Authorjamieadams-nerd
Version1.0.0
Installs0

System Documentation

What problem does it solve?

Ensures Rust code adheres to a curated set of high-assurance patterns, enabling deterministic behavior, proper validation, and auditable security decisions throughout the codebase.

Core Features & Use Cases

  • Maintains a documented catalogue of patterns (must-use contracts, validate-at-construction, trust gates, security findings as data, compile-time path binding, fixed-size deterministic layout, and debug-log discipline) and guides design reviews.
  • Applies patterns to security-relevant types such as access control decisions, audit events, or trust boundary crossings, during design, coding, and reviews.
  • Provides practical guidance and triggers when the user mentions related concepts to promote consistent adoption.

Quick Start

Apply these patterns to Rust code to enforce must_use contracts, validate-at-construction, and auditable security types.

Dependency Matrix

Required Modules

None required

Components

Standard package

💻 Claude Code Installation

Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.

Please help me install this Skill:
Name: high-assurance-patterns
Download link: https://github.com/jamieadams-nerd/umrs-project/archive/main.zip#high-assurance-patterns

Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
View Source Repository

Agent Skills Search Helper

Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.