{"slug":"wanshuiyin-proof-orchestrator","source_name":"wanshuiyin/proof-orchestrator","name":"Wanshuiyin/Proof Orchestrator","description":"Manage a stateful, run-directory-based proof project: continuation across runs, run-local source bookkeeping, manual GPT Pro handoff packages when a local attempt stalls, and an optional DeepSeek second opinion as additional evidence only. Use when the user asks for proof-run orchestration, a GPT Pro handoff, or cross-run proof continuation — use /proof-writer for ordinary proof drafting and /proof-checker for rigorous verification or submission acceptance.","version":2,"lift":{"pass_rate_delta_pts":60.87,"pass_rate_pct":87,"total_cases":23,"passed_cases":20,"tokens_delta_pct":268.5,"turns_delta_pct":0,"verdict":"mixed","benchmark_model":"gemini-3.6-flash","grading_method":"judged","completed_at":"2026-08-29T00:57:58.513258+00:00"},"skill_score":0.8696,"benchmark_models":[{"model":"gemini-3.6-flash","headline":true,"delta_pts":60.87,"with_pass_pct":87,"without_pass_pct":26.1,"tokens_delta_pct":268.5,"turns_delta_pct":0,"total_cases":23,"cases_aggregated":18,"verdict":"mixed","never_hurt":true,"completed_at":"2026-08-29T00:57:58.513258+00:00","run_id":"6dd45e64-5661-4df3-b678-2c2befc2dbd7","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":"85c03111b62c9ccce7f838998a92a0e671ef698c9cdd32a668383ca930754878","raw_url":"https://app.decimal.ai/s/wanshuiyin-proof-orchestrator/SKILL.md","scorecard_url":"https://app.decimal.ai/skills/wanshuiyin-proof-orchestrator"}