dsh-llm-as-a-verifierTaurenMountain4LLM-as-a-Verifier for DeepSeek Harness: fine-grained reward, Probabilistic Pivot Tournament best-of-N selection, and per-step progress tracking as agent tools.TypeScript08/24