{"slug":"cursor-create-formal-verification-skill","source_name":"cursor/create-formal-verification-skill","name":"Cursor/Create Formal Verification Skill","description":"Generate a project-local skill that formally verifies the code where a bug costs the most and tests reach the least, in any language, with whichever verification tool fits. Use for /create-formal-verification-skill, \"model-check this race\", \"prove this invariant\", or when concurrency, retries, state machines, parsers, or unsafe code need more than tests.","version":1,"lift":{"pass_rate_delta_pts":31.82,"pass_rate_pct":68.2,"total_cases":22,"passed_cases":15,"tokens_delta_pct":51,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.8-flash","grading_method":"judged","completed_at":"2026-11-02T19:58:34.766156+00:00"},"skill_score":0.6818,"benchmark_models":[{"model":"gemini-3.8-flash","headline":true,"delta_pts":31.82,"with_pass_pct":68.2,"without_pass_pct":36.4,"tokens_delta_pct":51,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-11-02T19:58:34.766156+00:00","run_id":"2cd21557-c626-4acd-80ab-1bf4ae912391","latest_attempt":{"id":"2cd21557-c626-4acd-80ab-1bf4ae912391","runner_model":"gemini-3.8-flash","overall_verdict":"mixed","completed_at":"2026-11-02T19:58:34.766156+00:00","gate":null},"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":null,"install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"c036e416c9cb42c8dda85229a4c0356d4989459a42c41f56006137a455900a0f","install_name":"cursor-create-formal-verification-skill","version_id":"91be0526-7d2b-47d7-9e2c-6af94cdafe54","body_sha256":"c036e416c9cb42c8dda85229a4c0356d4989459a42c41f56006137a455900a0f","render_hash":"5ea9c04bfd6703406bbd7016f1f1c6356a01ed48650c5d940034cb4992f2589f","raw_url":"https://app.decimal.ai/s/cursor-create-formal-verification-skill/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/cursor-create-formal-verification-skill"}