{"slug":"backnotprop-create-formal-verification-skill","source_name":"backnotprop/create-formal-verification-skill","name":"Backnotprop/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":2,"lift":{"pass_rate_delta_pts":27.27,"pass_rate_pct":86.4,"total_cases":22,"passed_cases":19,"tokens_delta_pct":107.8,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.8-flash","grading_method":"judged","completed_at":"2026-11-02T09:07:11.000050+00:00"},"skill_score":0.8636,"benchmark_models":[{"model":"gemini-3.8-flash","headline":true,"delta_pts":27.27,"with_pass_pct":86.4,"without_pass_pct":59.1,"tokens_delta_pct":107.8,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-11-02T09:07:11.000050+00:00","run_id":"071cfd53-27ad-40e1-8a53-f6ce25a07847","latest_attempt":{"id":"071cfd53-27ad-40e1-8a53-f6ce25a07847","runner_model":"gemini-3.8-flash","overall_verdict":"mixed","completed_at":"2026-11-02T09:07:11.000050+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":"b1ab0a888d8a94d0576d5153e7ae7a1fe623dfd5ac44b1292a4da904be91b7ea","install_name":"backnotprop-create-formal-verification-skill","version_id":"a785355c-54ad-4830-b680-7b130ff4034b","body_sha256":"b1ab0a888d8a94d0576d5153e7ae7a1fe623dfd5ac44b1292a4da904be91b7ea","render_hash":"fce955b9095a85f1544ea72ade946689b5023a1e60687a6b620aacf753ec59e8","raw_url":"https://app.decimal.ai/s/backnotprop-create-formal-verification-skill/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/backnotprop-create-formal-verification-skill"}