{"slug":"a5c-ai-proof-assistant","source_name":"a5c-ai/proof-assistant","name":"A5c AI/Proof Assistant","description":"Assist in constructing algorithm correctness proofs","version":1,"lift":{"pass_rate_delta_pts":22.73,"pass_rate_pct":77.3,"total_cases":22,"passed_cases":17,"tokens_delta_pct":-1,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-01T00:49:51.020527+00:00"},"skill_score":0.7727,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":22.73,"with_pass_pct":77.3,"without_pass_pct":54.5,"tokens_delta_pct":-1,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-01T00:49:51.020527+00:00","run_id":"5d88a396-1dda-420c-b228-9d4f323d3c43","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":"7bbe7b94d3242aff103343bd40b576a5236f2f76118da0ccb5cad9a5b96a011d","raw_url":"https://app.decimal.ai/s/a5c-ai-proof-assistant/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/a5c-ai-proof-assistant"}