{"slug":"brycewang-stanford-cav-submission","source_name":"brycewang-stanford/cav-submission","name":"Brycewang Stanford/Cav Submission","description":"Use when auditing a CAV (Computer Aided Verification) submission for portal readiness, covering the four submission categories (Regular / Short Tool / Short Application / Industrial Experience & Case Studies), the LNCS page limits, the per-category anonymization matrix, the artifact-intent declaration, and desk-reject triage before the AoE paper deadline.","version":1,"lift":{"pass_rate_delta_pts":36.36,"pass_rate_pct":90.9,"total_cases":22,"passed_cases":20,"tokens_delta_pct":40.4,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:24:11.231512+00:00"},"skill_score":0.9091,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":36.36,"with_pass_pct":90.9,"without_pass_pct":54.5,"tokens_delta_pct":40.4,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-15T20:24:11.231512+00:00","run_id":"8fc086a0-8c1a-40e0-9d99-86e6b7060067","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":"f98acc594f4cebdd320631145f3ee48fce4afa4b197b5d0e63d5e459910ac242","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-submission/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-submission"}