{"slug":"microck-design-by-contract","source_name":"microck/design-by-contract","name":"Microck/Design By Contract","description":"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.","version":1,"lift":{"pass_rate_delta_pts":45.45,"pass_rate_pct":77.3,"total_cases":22,"passed_cases":17,"tokens_delta_pct":354.3,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-21T00:16:27.744779+00:00"},"skill_score":0.7727,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":45.45,"with_pass_pct":77.3,"without_pass_pct":31.8,"tokens_delta_pct":354.3,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":21,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-21T00:16:27.744779+00:00","run_id":"1834536f-b298-4d9b-b44a-45c88680b361","version_number":1,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"NOASSERTION","install_count":0,"manifest_hash":"825ebd19fc2d6ae619bc55c1bef48b84df0eea43248c050e7fa3f470e8217147","raw_url":"https://app.decimal.ai/s/microck-design-by-contract/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/microck-design-by-contract"}