rust-contract
CommunityRust contracts and tests without code.
Software Engineering#testing#specifications#rust#contracts#invariants#design-by-contract#given-when-then
Authorlprior-repo
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Design-by-contract specifications and structured test plans for Rust projects to ensure alignment between requirements and development, without producing production code.
Core Features & Use Cases
- Design-by-contract definitions (preconditions, postconditions, invariants) for Rust functions.
- Martin Fowler style Given-When-Then test plans to drive specification-first testing.
- Output artifacts contract-spec.md and martin-fowler-tests.md to guide development and verification.
Quick Start
Provide bead ID or feature description to generate contract and test plans for Rust.
Dependency Matrix
Required Modules
None requiredComponents
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: rust-contract Download link: https://github.com/lprior-repo/claude-skills/archive/main.zip#rust-contract Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 223,000+ vetted skills library on demand.