{"slug":"brycewang-stanford-cav-artifact-evaluation","source_name":"brycewang-stanford/cav-artifact-evaluation","name":"Brycewang Stanford/Cav Artifact Evaluation","description":"Use when packaging a CAV (Computer Aided Verification) artifact for the Artifact Evaluation Committee (AEC), covering the three badges (Available / Functional / Reusable), the smoke-test and full-review phases, ≥2 AEC reviewers per artifact, DOI-issuing archives, verification-tool packaging (solvers, benchmarks, seeds, resource limits, proof witnesses), and the fact that AE is invited, post-notification, and non-conditional.","version":1,"lift":{"pass_rate_delta_pts":8.33,"pass_rate_pct":91.7,"total_cases":24,"passed_cases":22,"tokens_delta_pct":6.8,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-15T20:30:37.248663+00:00"},"skill_score":0.9167,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":8.33,"with_pass_pct":91.7,"without_pass_pct":83.3,"tokens_delta_pct":6.8,"turns_delta_pct":0,"total_cases":24,"cases_aggregated":24,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-15T20:30:37.248663+00:00","run_id":"38a2ce37-8549-48d4-952d-80e4701059ca","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":"eefd0a2c7cca38a0fe7d16ff716787112f200bcb1333d339d02b0f3962572f5c","raw_url":"https://app.decimal.ai/s/brycewang-stanford-cav-artifact-evaluation/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-cav-artifact-evaluation"}