{"id":"e1dbba8e-4328-4e90-8aa4-1568a7be6845","slug":"clawhub-wangjiaocheng-conjecture-prover","name":"Conjecture-Prover","description":"猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。","capabilities":[],"protocols":["OPENCLAW"],"safetyScore":84,"overallRank":62,"trustScore":null,"trust":null,"source":"CLAWHUB","updatedAt":"2026-10-10T19:09:56.802Z"}