{"slug":"a5c-ai-type-theory","source_name":"a5c-ai/Type Theory","name":"A5c AI/Type Theory","description":"Expert skill in type theory foundations for implementing type systems including inference, checking, and subtyping","version":1,"lift":{"pass_rate_delta_pts":8.33,"pass_rate_pct":66.7,"total_cases":24,"passed_cases":16,"tokens_delta_pct":0.6,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-29T22:26:45.095984+00:00"},"skill_score":0.6667,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":8.33,"with_pass_pct":66.7,"without_pass_pct":58.3,"tokens_delta_pct":0.6,"turns_delta_pct":0,"total_cases":24,"cases_aggregated":24,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-29T22:26:45.095984+00:00","run_id":"ecd7a53d-f4bf-4896-b8eb-cdf5cb493f54","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":"107a6a2c983291efe67c6e2ac666a07c9203e6da5bc141563c4f45589816eb53","raw_url":"https://app.decimal.ai/s/a5c-ai-type-theory/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/a5c-ai-type-theory"}