verify-constraints

Name: verify-constraints
Availability: InStock
Author: BellaBe

Community

Verify constraints with proofs and runtime checks.

Software Engineering #verification #proofs #constraints #runtime-checks

AuthorBellaBe

Version1.0.0

Installs0

System Documentation

What problem does it solve?

This Skill verifies constraints from spec, generating proofs for proof-obligation constraints and planning runtime checks for others.

Core Features & Use Cases

Load constraints.yaml and categorize proof_obligation
Lean proof verification for proven constraints
Runtime validation planning
Produce verification reports

Quick Start

Verify constraints from artifacts/v{N}/spec/constraints.yaml and produce a constraints report.

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: verify-constraints
Download link: https://github.com/BellaBe/lean-os/archive/main.zip#verify-constraints

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

View Source Repository