{"slug":"brycewang-stanford-cav-writing-style","source_name":"brycewang-stanford/cav-writing-style","name":"Brycewang Stanford/Cav Writing Style","description":"Use when revising a CAV (Computer Aided Verification) paper for a precise verification contribution on the first page, an explicit soundness/completeness statement, theorem-and-proof discipline in the LNCS page budget, fair benchmark claims, honest scope and limits, and double-blind wording for the anonymized categories.","version":1,"lift":{"pass_rate_delta_pts":36.36,"pass_rate_pct":86.4,"total_cases":22,"passed_cases":19,"tokens_delta_pct":7.3,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:31:59.991462+00:00"},"skill_score":0.8636,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":36.36,"with_pass_pct":86.4,"without_pass_pct":50,"tokens_delta_pct":7.3,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-15T20:31:59.991462+00:00","run_id":"5d15ae27-641b-4d9c-b338-d4ec3b51ece0","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":"MIT","install_count":0,"manifest_hash":"362eaeb56fd46839a17d660ab982cdc4dd89b222ea03658b0c75b89ac626e5dd","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-writing-style/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-writing-style"}