{"slug":"foryourhealth111-pixel-mathematical-logic-expert","source_name":"foryourhealth111-pixel/mathematical-logic-expert","name":"Foryourhealth111 Pixel/Mathematical Logic Expert","description":"Expert in formal logic, model theory, computability, and foundations of mathematics","version":1,"lift":{"pass_rate_delta_pts":54.55,"pass_rate_pct":90.9,"total_cases":22,"passed_cases":20,"tokens_delta_pct":-15.4,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-13T16:05:13.728750+00:00"},"skill_score":null,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":54.55,"with_pass_pct":90.9,"without_pass_pct":36.4,"tokens_delta_pct":-15.4,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-13T16:05:13.728750+00:00","run_id":"89f0bd42-3782-4d68-966a-f4eb877149d0","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":"Proprietary","install_count":0,"manifest_hash":"fcc0730f82651c0d6f75d5fdb292d4aec193f64950602d60dbd380c7ec354451","raw_url":"https://app.decimal.ai/s/foryourhealth111-pixel-mathematical-logic-expert/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/foryourhealth111-pixel-mathematical-logic-expert"}