{"slug":"vibeeval-proof-theory","source_name":"vibeeval/proof-theory","name":"Vibeeval/Proof Theory","description":"Problem-solving strategies for proof theory in mathematical logic","version":1,"lift":{"pass_rate_delta_pts":18.18,"pass_rate_pct":86.4,"total_cases":22,"passed_cases":19,"tokens_delta_pct":5.9,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-03T22:19:29.232616+00:00"},"skill_score":0.8636,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":18.18,"with_pass_pct":86.4,"without_pass_pct":68.2,"tokens_delta_pct":5.9,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":20,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-03T22:19:29.232616+00:00","run_id":"b6bc6feb-6ca1-446a-9823-2f896cf19b2a","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":"a097631e9f2fbf5836ae724fe4e5c8dcf01028ec49b7f88ace8154009620da4c","raw_url":"https://app.decimal.ai/s/vibeeval-proof-theory/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/vibeeval-proof-theory"}