{"slug":"escoffier-labs-maintain-formal-verification-skill","source_name":"escoffier-labs/maintain-formal-verification-skill","name":"Escoffier Labs/Maintain Formal Verification Skill","description":"Use only when the user explicitly requests maintenance of an existing formal verification skill or asks whether its model, proof, or harness still matches changed code. Do not trigger on routine merges or ordinary application verification.","version":2,"lift":{"pass_rate_delta_pts":45.45,"pass_rate_pct":81.8,"total_cases":22,"passed_cases":18,"tokens_delta_pct":36.8,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.8-flash","grading_method":"judged","completed_at":"2026-11-06T04:12:39.132913+00:00"},"skill_score":0.8182,"benchmark_models":[{"model":"gemini-3.8-flash","headline":true,"delta_pts":45.45,"with_pass_pct":81.8,"without_pass_pct":36.4,"tokens_delta_pct":36.8,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-11-06T04:12:39.132913+00:00","run_id":"c4cd7e96-b79a-4d69-8002-210b3ec7f6b6","latest_attempt":{"id":"c4cd7e96-b79a-4d69-8002-210b3ec7f6b6","runner_model":"gemini-3.8-flash","overall_verdict":"mixed","completed_at":"2026-11-06T04:12:39.132913+00:00","gate":null},"version_number":2,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":null,"content_status":"clean","indexable":true},"license":"MIT","install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"dd480f2a66ba3c2b62bfcb84dccebf1cfc16c41c8dbf19d4ae595e1239c59587","install_name":"escoffier-labs-maintain-formal-verification-skill","version_id":"456e6a32-9c43-43f6-926f-4cf703f0a756","body_sha256":"dd480f2a66ba3c2b62bfcb84dccebf1cfc16c41c8dbf19d4ae595e1239c59587","render_hash":"222f63f0bc7266d35103693c2c59526de339f2ef04aed9cd645e1f21cb6ae406","raw_url":"https://app.decimal.ai/s/escoffier-labs-maintain-formal-verification-skill/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/escoffier-labs-maintain-formal-verification-skill"}