{"slug":"wanshuiyin-proof-checker","source_name":"wanshuiyin/proof-checker","name":"Wanshuiyin/Proof Checker","description":"Rigorous mathematical proof verification and fixing workflow. Reads a LaTeX proof, identifies gaps via cross-model review (external reviewer backend, ultra reasoning), fixes each gap with full derivations, re-reviews, and generates an audit report. Use when user says \"检查证明\", \"verify proof\", \"proof check\", \"审证明\", \"check this proof\", or wants rigorous mathematical verification of a theory paper.","version":10,"lift":{"pass_rate_delta_pts":45.45,"pass_rate_pct":72,"total_cases":25,"passed_cases":18,"tokens_delta_pct":310.2,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-10-10T05:09:57.020176+00:00"},"skill_score":0.8182,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":45.45,"with_pass_pct":81.8,"without_pass_pct":36.4,"tokens_delta_pct":310.2,"turns_delta_pct":0,"total_cases":25,"cases_aggregated":22,"verdict":"mixed","never_hurt":false,"completed_at":"2026-10-10T05:09:57.020176+00:00","run_id":"d9da5551-55c0-4564-8cee-5a048b909ce5","latest_attempt":{"id":"d9da5551-55c0-4564-8cee-5a048b909ce5","runner_model":"gemini-3.6-flash","overall_verdict":"mixed","completed_at":"2026-10-10T05:09:57.020176+00:00","gate":null},"version_number":7,"is_latest_version":false,"gate":null},{"model":"gemini-3.8-flash","headline":false,"delta_pts":null,"with_pass_pct":null,"without_pass_pct":null,"tokens_delta_pct":1562.9,"turns_delta_pct":0,"total_cases":22,"cases_aggregated":22,"verdict":"mixed","never_hurt":true,"completed_at":"2026-11-01T15:24:02.872812+00:00","run_id":"5eb00888-7e8f-4c9f-b4c6-283871974938","latest_attempt":{"id":"5eb00888-7e8f-4c9f-b4c6-283871974938","runner_model":"gemini-3.8-flash","overall_verdict":"mixed","completed_at":"2026-11-01T15:24:02.872812+00:00","gate":"not_comparable"},"version_number":10,"is_latest_version":true,"gate":"not_comparable"}],"trust":{"skill_safety":"passed","safety_status":"clean","intent_verdict":"safe","content_status":"clean","indexable":true},"license":"MIT","install_count":0,"total_uses":0,"total_users":0,"manifest_hash":"0e1887a9ca66c60da54cdf3edc0300cd8a2ed0b500104c808f871a542892f759","install_name":"wanshuiyin-proof-checker","version_id":"c403becd-4f9c-4541-8421-794cfe3f23e0","body_sha256":"0e1887a9ca66c60da54cdf3edc0300cd8a2ed0b500104c808f871a542892f759","render_hash":"002c3a949648d4d438c8192d87070a1eaffc86464f07cddf51d5283ed79b8d33","raw_url":"https://app.decimal.ai/s/wanshuiyin-proof-checker/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/wanshuiyin-proof-checker"}