{"slug":"loogle-search","source_name":"loogle-search","name":"Loogle Search","description":"Search Mathlib for lemmas by type signature pattern using Loogle.","version":2,"lift":{"pass_rate_delta_pts":36.36,"pass_rate_pct":81.8,"total_cases":22,"passed_cases":18,"tokens_delta_pct":-13.4,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-02T19:06:02.340169+00:00"},"skill_score":0.8182,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":36.36,"with_pass_pct":81.8,"without_pass_pct":45.5,"tokens_delta_pct":-13.4,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":19,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-02T19:06:02.340169+00:00","run_id":"a1557c47-5d09-4e69-a658-67197ad9f821","version_number":2,"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":"81521ff3d9edd1b006691e2046ab1059605b814a098041298727616c739aae47","raw_url":"https://app.decimal.ai/s/loogle-search/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/loogle-search"}