Agent Skills: hodd-rust

HODD-RUST validation-first Rust development - design Rust-specific verifications from requirements, then execute through validation pipeline. Use when developing Rust code with formal verification using rustfmt, clippy, static_assertions, Miri, Loom, Flux, contracts, Kani, or Lean4.

UncategorizedID: OutlineDriven/odin-claude-plugin/hodd-rust

Author

OutlineDriven

https://github.com/OutlineDriven View all skills

Repository

OutlineDriven/odin-claude-plugin

OutlineDrivenLicense: Apache-2.0

Install this agent skill to your local

pnpm dlx add-skill https://github.com/OutlineDriven/odin-claude-plugin/hodd-rust

Skill Files

Browse the full folder contents for hodd-rust.

Download Skill

Loading file tree…

Select a file to preview its contents.