{"slug":"yogsoth-ai-counterexample-heuristics","source_name":"yogsoth-ai/counterexample-heuristics","name":"Yogsoth AI/Counterexample Heuristics","description":"Generate counterexamples (monsters), attempt monster-barring, incorporate surviving counterexamples as lemma refinements (Lakatos method).","version":1,"lift":{"pass_rate_delta_pts":13.64,"pass_rate_pct":86.4,"total_cases":22,"passed_cases":19,"tokens_delta_pct":-20.9,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-22T12:30:37.318870+00:00"},"skill_score":0.8636,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":13.64,"with_pass_pct":86.4,"without_pass_pct":72.7,"tokens_delta_pct":-20.9,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-08-22T12:30:37.318870+00:00","run_id":"d6a87c15-3a0d-44ae-9cfb-6b878d10e6c7","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":"Apache-2.0","install_count":0,"manifest_hash":"19ef0050e559685ede447fb92fa3bdc2fcad68ebe6c35462acc6a7f9f23ce019","raw_url":"https://app.decimal.ai/s/yogsoth-ai-counterexample-heuristics/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/yogsoth-ai-counterexample-heuristics"}