{"slug":"brycewang-stanford-cav-workflow","source_name":"brycewang-stanford/cav-workflow","name":"Brycewang Stanford/Cav Workflow","description":"Use when planning a CAV (Computer Aided Verification) project timeline from venue and category selection through submission, the two-stage review with early reject and rebuttal, artifact evaluation by the AEC, and the LNCS open-access camera-ready, with backward-planning offsets for a verification-tool paper and honest handling of the single-annual-deadline cycle.","version":1,"lift":{"pass_rate_delta_pts":22.73,"pass_rate_pct":90.9,"total_cases":22,"passed_cases":20,"tokens_delta_pct":41.3,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:25:03.493129+00:00"},"skill_score":0.9091,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":22.73,"with_pass_pct":90.9,"without_pass_pct":68.2,"tokens_delta_pct":41.3,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-15T20:25:03.493129+00:00","run_id":"665f947e-fca9-4ff4-afab-19c4f3bc927d","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":"44537be01f1d4a3d8e4e6283b2e3c7603eb16b57fafadd1914b4ec2275699879","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-workflow/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-workflow"}