vcsdd-formal-hardening

Select verification tools and generate proof harnesses for Rust, Python, and TypeScript code.

27|4|Updated Mar 27, 2026

Search Tags:#hypothesis #hardening #formal-verification #property-testing #kani #proof-harness #vcsdd

Ready to run

npx skills add https://github.com/sc30gsw/vcsdd-claude-code --skill vcsdd-formal-hardening

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: vcsdd-formal-hardening
Source: https://github.com/sc30gsw/vcsdd-claude-code/tree/main/skills/vcsdd-formal-hardening
Command: npx skills add https://github.com/sc30gsw/vcsdd-claude-code --skill vcsdd-formal-hardening

SYSTEM DOCUMENTATION & REQUIREMENTS

What problem does it solve?

This skill eliminates the gap between tested code and mathematically verified correctness by providing structured tooling and patterns for formal verification during the VCSDD methodology's hardening phase.

Core Features & Use Cases

Multi-language Tool Selection: Automatically recommends verification tools (Kani, Hypothesis, fast-check) based on language and tier requirements
Proof Harness Generation: Provides ready-to-use code templates for formal verification in Rust, Python, and TypeScript
Graceful Degradation: Maintains verification integrity even when advanced tools are unavailable through systematic tier fallback
Artifact Production: Enforces generation of verification reports, security audits, and purity documentation

Quick Start

Activate this skill to create a Kani proof harness for your Rust component during Phase 5 formal hardening.

Frequently Asked Questions about vcsdd-formal-hardening

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I generate a proof harness for Rust code using Kani?▼

To generate a Kani proof harness for Rust, activate this Skill to automate the creation of ready-to-use verification templates during your formal hardening phase. It automatically selects Kani based on your tier requirements to provide mathematical correctness guarantees.

What is the best way to apply formal verification across Python and TypeScript?▼

Applying formal verification across Python and TypeScript is best handled by automatically selecting property testing tools like Hypothesis and fast-check. This Skill generates appropriate proof harnesses to enforce correctness guarantees across multiple languages.

Does formal verification work when advanced tools are unavailable?▼

Formal verification remains functional when advanced tools are unavailable through graceful degradation. This Skill maintains verification integrity by applying systematic tier fallback strategies to satisfy verification obligations.

When do I need property testing and formal hardening for critical system components?▼

You need property testing and formal hardening when critical system components require mathematical correctness guarantees. This Skill automates formal verification workflows during the VCSDD hardening phase to eliminate the gap between tested and verified code.

What artifacts do I get from a formal verification workflow?▼

From a formal verification workflow, you get mandated artifact production including verification reports, security audits, and purity documentation. This Skill enforces the generation of these outputs to substantiate mathematical correctness guarantees.