{"slug":"brycewang-stanford-formal-verification-guide","source_name":"brycewang-stanford/formal-verification-guide","name":"Brycewang Stanford/Formal Verification Guide","description":"Formal methods, theorem proving, and model checking for CS research","version":1,"lift":{"pass_rate_delta_pts":8.33,"pass_rate_pct":87.5,"total_cases":24,"passed_cases":21,"tokens_delta_pct":109.4,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-29T09:45:01.530779+00:00"},"skill_score":0.875,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":8.33,"with_pass_pct":87.5,"without_pass_pct":79.2,"tokens_delta_pct":109.4,"turns_delta_pct":0,"total_cases":24,"cases_aggregated":24,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-29T09:45:01.530779+00:00","run_id":"92a54fcf-ad92-4031-a50d-25ab2d2296ce","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":"NOASSERTION","install_count":1,"manifest_hash":"9d1266dae23ddd59a9f1a4dfcfd5b44b9c800a71cb2a37f1c5609f19fbd818d1","raw_url":"https://app.decimal.ai/s/brycewang-stanford-formal-verification-guide/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/brycewang-stanford-formal-verification-guide"}