概要
The Engineering Verify Constraints skill automates the process of ensuring software specifications align with implementation by analyzing business rules and invariants. It distinguishes between formal proofs using the Lean theorem prover and dynamic runtime checks, generating a comprehensive status report that tracks proven, unverified, and database-enforced constraints. This skill is essential for high-integrity systems where maintaining strict business logic and data consistency is critical throughout the development lifecycle, providing a structured way to manage proof obligations and validation logic.
