Automated contract verification, detection, and remediation across multiple languages using formal preconditions, postc…
Automated contract verification, detection, and remediation across multiple languages using formal preconditions, postconditions, and invariants. This skill provides both reference documentation AND execution capabilities for the full PLAN -> CREATE -> VERIFY -> REMEDIATE workflow.
Microck
cli
free
Others in the same category, ranked by how often they are opened.
