{"slug":"vibeeval-predicate-logic","source_name":"vibeeval/predicate-logic","name":"Vibeeval/Predicate Logic","description":"Problem-solving strategies for predicate logic in mathematical logic","version":1,"lift":{"pass_rate_delta_pts":27.27,"pass_rate_pct":95.5,"total_cases":22,"passed_cases":21,"tokens_delta_pct":-5.3,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-03T22:09:22.578126+00:00"},"skill_score":0.9545,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":27.27,"with_pass_pct":95.5,"without_pass_pct":68.2,"tokens_delta_pct":-5.3,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-03T22:09:22.578126+00:00","run_id":"a4431722-4769-45c6-b36c-4eb8539c4f00","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":"ef1125e917fd020a6bb2a88951bc92f6c610d22b694d8d9b16788bf57604b8fe","raw_url":"https://app.decimal.ai/s/vibeeval-predicate-logic/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/vibeeval-predicate-logic"}