{"slug":"hashintel-dafny-verification","source_name":"hashintel/dafny-verification","name":"Hashintel/Dafny Verification","description":"Stub. Elicit software correctness obligations, maintain a recoverable correctness workpiece, and author or review Dafny specifications with an honest account of what was stated, assumed, discharged, skipped, or trusted. Use for a correctness interview or a Dafny specification or proof review.","version":2,"lift":{"pass_rate_delta_pts":72.73,"pass_rate_pct":91.3,"total_cases":23,"passed_cases":21,"tokens_delta_pct":-47.1,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-10-08T00:10:57.044546+00:00"},"skill_score":0.9545,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":72.73,"with_pass_pct":95.5,"without_pass_pct":22.7,"tokens_delta_pct":-47.1,"turns_delta_pct":0,"total_cases":23,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-10-08T00:10:57.044546+00:00","run_id":"fd9b6cb4-88bb-48bf-9b24-96aef59787c9","latest_attempt":{"id":"fd9b6cb4-88bb-48bf-9b24-96aef59787c9","runner_model":"gemini-3.6-flash","overall_verdict":"mixed","completed_at":"2026-10-08T00:10:57.044546+00:00","gate":null},"version_number":2,"is_latest_version":true,"gate":null}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":null,"content_status":"clean","indexable":true},"license":"NOASSERTION","install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"c949ace05929a81cdb11c93dc17cfd94c973dcce3766775c84c14e10e6aa2415","install_name":"hashintel-dafny-verification","version_id":"f9c9e6f4-391d-4ad4-a69c-5c4dd8bcffb7","body_sha256":"c949ace05929a81cdb11c93dc17cfd94c973dcce3766775c84c14e10e6aa2415","render_hash":"b0fee3d46b270261be5e7e46f4d6e4a2f1acb6db3217c8bd1a688c0a92cfc184","raw_url":"https://app.decimal.ai/s/hashintel-dafny-verification/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/hashintel-dafny-verification"}