Verify converted Rust code against behavioral tests and quality checks. Runs test suite, compares with C implementation, checks code quality, and generates verification report. Use after c2rust-refine, or when user mentions "verify", "validate", "check conversion", "run tests".
This listing is imported from SkillsMP metadata and should be treated as untrusted until upstream source review is completed.
Install skill "c2rust-verify" with this command: npx skills add Bobchenyx/skillsmp-bobchenyx-bobchenyx-c2rust-verify
This source entry does not include full markdown content beyond metadata.
This detail page is rendered from real SKILL.md content. Trust labels are metadata-based hints, not a safety guarantee.
Related by shared tags or category signals.
Assess a C codebase for Rust conversion. Analyzes build system, dependencies, code complexity, and conversion risks. Use when starting a C-to-Rust conversion, when the user mentions "assess", "analyze C code", "conversion difficulty", or "risk assessment".
Translate C source code to idiomatic Rust using Claude. Reads C source files and produces equivalent Rust code with proper ownership, error handling, and Rust idioms. Use after c2rust-plan, or when the user mentions "translate", "convert to rust", "rewrite in rust", "execute conversion".
Fix compilation errors and transform translated Rust code into idiomatic safe Rust. Uses smart hybrid approach — auto-fixes mechanical errors, pauses for design decisions. Use after c2rust-convert, or when user mentions "fix errors", "refine rust", "make idiomatic", "fix compilation", "debug rust code".
Build behavioral test suite for C-to-Rust conversion verification. Creates tests that capture C code behavior before conversion, enabling correctness validation of the Rust output. Use after c2rust-plan, or when user mentions "build tests", "test suite", "behavioral tests", "verification tests".