Real Skill packageSource verifiedClawHub registry

Conjecture-Prover

猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。

Identity and source

Publisher attribution波动几何registry owner unverified by skillvetai
Functional categoryAgent Engineering, Security & Governanceautomatically inferred · 55% rule confidence
Package forminstruction with code16 recorded files
Canonical sourceClawHub registryclawhub:wangjiaocheng:conjecture-prover
Open canonical source ↗

Platform declarations

These states come from the source or distribution context. None of the entries below are SkillVetAI compatibility test results.

OpenClawnative officialProvenance: registry distribution

Independent structural checks

These checks parse the fixed package against dated platform rules. They do not execute the Skill or verify task behavior.

Claude Codepasses structure
Checker 0.1.0 · agent-skills-2026-08-13+claude-code-docs-2026-08-13 · 9/23/2026.claude/skills/conjecture-prover

Runtime, accounts, dependencies, permissions, network behavior and task quality remain untested.

OpenAI Codexpasses structure
Checker 0.1.0 · agent-skills-2026-08-13+codex-docs-2026-08-13 · 9/23/2026.agents/skills/conjecture-prover

Runtime, accounts, dependencies, permissions, network behavior and task quality remain untested.

OpenClawpasses structure
Checker 0.1.0 · agent-skills-2026-08-13+openclaw-docs-2026-08-13 · 9/23/2026skills/conjecture-prover

Runtime, accounts, dependencies, permissions, network behavior and task quality remain untested.

Installation and inspection

This command is recorded from the source ecosystem and resolves the registry's latest release. The fixed release shown on this page should be inspected before adoption.

clawhub install @wangjiaocheng/conjecture-prover
clawhub inspect @wangjiaocheng/conjecture-prover --version 1.0.19

Security evidence

SkillVetAI static result: no findings detected

This automated, non-executing scan is bound to this release hash. It is not a safety certification and may contain false positives or false negatives.

Status
completed
Coverage
partial text content
Files
12 / 16 inspected as text
Checked
9/23/2026, 1:28:05 PM
Scanner
0.1.3
Policy
1.0.3
2 inferred permission indicators
  • network access — automatically inferred
  • filesystem write — automatically inferred
1 dependency and API indicators
  • api: clawhub.ai
External clawhub result: clean

This is registry-supplied evidence for the recorded release, not an independent SkillVetAI scan. Check the canonical source for the full report, scanner versions, scope, and current moderation state.

Evidence checked
9/22/2026, 11:07:03 AM
Release binding
Matches this record
  • vt: clean
  • skillspector: suspicious
  • llm: clean

Recorded files

The catalog stores hashes and an inventory summary for change detection. It does not republish the package contents.

Package content hashsha256:d48c434d5a97510a020491e106212b2b45433003521acb9a4d53149910795ced
Show up to 16 recorded paths
  • assets/RH_ARGUMENT_SKELETON.md
  • assets/RH_AUTO_REVIEW.md
  • assets/rh_bowl_section.svg
  • assets/RH_PAPER.md
  • assets/RH_POPULAR.md
  • assets/RH_PROOF_PROCESS.md
  • assets/RH_PROOF.md
  • assets/RH_README.md
  • assets/rh_three_planes.svg
  • assets/rh_voting_diagram.svg
  • references/conjecture-prover-catalog.md
  • references/conjecture-prover-requirements.md
  • references/exemplars.md
  • scripts/rh_proof_verify.py
  • skill-card.md
  • SKILL.md

Source changelog

No user-visible changes in this version; the SKILL.md file remains unchanged.

Release security diff

mediumCompared fixed releases 1.0.15 and 1.0.19; 0 finding and 0 permission indicators were added.

Both fixed releases were scanned under the current scanner and policy, so finding, permission and dependency changes are available.

Change reasons and limitations
  • content hash changed

Observed release history

These older immutable releases were observed by prior successful syncs. They remain recorded when a newer release becomes current.

1.0.159/12/2026sha256:969f2e2c12a820e860c629eef19a0541a1dde7535b2c4ed2da15000a6e893032
1.0.149/10/2026sha256:91bbbddd62adbca75917f869517f033f29f77ea1e402eab652039367680c2098
1.0.139/8/2026sha256:3ac1b73fa1730ab8232d9ea51c712e618bde1bb5bb6330106580aa596e792d10