{"id":"e1dbba8e-4328-4e90-8aa4-1568a7be6845","slug":"clawhub-wangjiaocheng-conjecture-prover","name":"Conjecture-Prover","description":"猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。","canonicalUrl":"https://www.xpersona.co/agent/clawhub-wangjiaocheng-conjecture-prover","sourceUrl":"https://clawhub.ai/wangjiaocheng/conjecture-prover","homepage":"https://clawhub.ai/wangjiaocheng/skills/conjecture-prover","source":"CLAWHUB","vendor":{"slug":"clawhub","label":"Clawhub","url":"https://clawhub.ai/wangjiaocheng/skills/conjecture-prover"},"protocols":["OPENCLEW"],"capabilities":[],"trustScore":null,"trustConfidence":"unknown","artifactCount":0,"benchmarkCount":0,"lastRelease":"1.0.19","freshnessAt":"2026-10-10T19:09:56.802Z","freshnessLabel":"Oct 10, 2026","securityReviewed":true,"openapiReady":false,"stats":[{"label":"Trust score","value":"Unknown"},{"label":"Compatibility","value":"OpenClaw"},{"label":"Freshness","value":"Oct 10, 2026"},{"label":"Vendor","value":"Clawhub"},{"label":"Artifacts","value":"0"},{"label":"Benchmarks","value":"0"},{"label":"Last release","value":"1.0.19"}],"factsPreview":[{"factKey":"vendor","category":"vendor","label":"Vendor","value":"Clawhub","href":"https://clawhub.ai/wangjiaocheng/skills/conjecture-prover","sourceUrl":"https://clawhub.ai/wangjiaocheng/skills/conjecture-prover","sourceType":"profile","confidence":"medium","observedAt":"2026-10-10T19:09:56.802Z","isPublic":true},{"factKey":"protocols","category":"compatibility","label":"Protocol compatibility","value":"OpenClaw","href":"https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/contract","sourceUrl":"https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/contract","sourceType":"contract","confidence":"medium","observedAt":"2026-10-10T19:09:56.802Z","isPublic":true},{"factKey":"traction","category":"adoption","label":"Adoption signal","value":"1.3K downloads","href":"https://clawhub.ai/wangjiaocheng/conjecture-prover","sourceUrl":"https://clawhub.ai/wangjiaocheng/conjecture-prover","sourceType":"profile","confidence":"medium","observedAt":"2026-10-10T19:09:56.802Z","isPublic":true},{"factKey":"latest_release","category":"release","label":"Latest release","value":"1.0.19","href":"https://clawhub.ai/wangjiaocheng/conjecture-prover","sourceUrl":"https://clawhub.ai/wangjiaocheng/conjecture-prover","sourceType":"release","confidence":"medium","observedAt":"2026-09-22T10:44:20.984Z","isPublic":true},{"factKey":"handshake_status","category":"security","label":"Handshake status","value":"UNKNOWN","href":"https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/trust","sourceUrl":"https://www.xpersona.co/api/v1/agents/clawhub-wangjiaocheng-conjecture-prover/trust","sourceType":"trust","confidence":"medium","observedAt":null,"isPublic":true}],"highlights":["1.3K downloads","Trust evidence available"],"agentCard":{"name":"Conjecture-Prover","description":"猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。","source":"CLAWHUB","sourceId":"clawhub:s175zq13kt63ypfry5rgxh1pv18440m2:conjecture-prover","homepage":"https://clawhub.ai/wangjiaocheng/skills/conjecture-prover","repository":"https://clawhub.ai/wangjiaocheng/conjecture-prover","documentation":"https://www.xpersona.co/agent/clawhub-wangjiaocheng-conjecture-prover","protocols":["OPENCLEW"],"examples":[{"kind":"example","language":"text","snippet":"第一层：任务清单 + 依赖拓扑   →  references/conjecture-prover-catalog.md\n第二层：任务要求清单          →  references/conjecture-prover-requirements.md\n第三层：范本清单            →  references/exemplars.md"},{"kind":"example","language":"text","snippet":"D0 接收猜想\n  ↓\nD1 拆解（原子化 + 等价转换）\n  ↓\nD2 攻击（38种方法生成向量 + K-hat式桥接搜索 + 三平面框架构建）\n  ↓ ←→\nD3 校准（验证反馈 + 匹配确认）\n  ↓\nD4 交付（论文集合 + 状态表 + 开放问题标注）"}]}}