{"slug":"a5c-ai-certora-prover","source_name":"a5c-ai/certora-prover","name":"A5c AI/Certora Prover","description":"Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.","version":1,"lift":{"pass_rate_delta_pts":13.64,"pass_rate_pct":22.7,"total_cases":22,"passed_cases":5,"tokens_delta_pct":113.8,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-01T01:50:01.435828+00:00"},"skill_score":0.2273,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":13.64,"with_pass_pct":22.7,"without_pass_pct":9.1,"tokens_delta_pct":113.8,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-01T01:50:01.435828+00:00","run_id":"0d810236-c88a-4147-bd27-ed066339758b","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":"0744bb865a7dca1f5c15ccd373fa2f6727653232747b62a9e1109c15363d4440","raw_url":"https://app.decimal.ai/s/a5c-ai-certora-prover/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/a5c-ai-certora-prover"}