{"slug":"a5c-ai-invariant-analyzer","source_name":"a5c-ai/invariant-analyzer","name":"A5c AI/Invariant Analyzer","description":"Identify and verify loop invariants for correctness proofs","version":1,"lift":{"pass_rate_delta_pts":22.73,"pass_rate_pct":22.7,"total_cases":22,"passed_cases":5,"tokens_delta_pct":2.3,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-01T00:42:28.797200+00:00"},"skill_score":0.2273,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":22.73,"with_pass_pct":22.7,"without_pass_pct":0,"tokens_delta_pct":2.3,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-01T00:42:28.797200+00:00","run_id":"60bc3329-1a3d-46f7-906f-d41a487a574c","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":"789a53564c4513647911c268ee417eb28626fbd91924a0399a9805ad1812b5cc","raw_url":"https://app.decimal.ai/s/a5c-ai-invariant-analyzer/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/a5c-ai-invariant-analyzer"}