Conjecture-Prover
猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。
as observed 2026-09-23T00:21:02.725Z- Identifier
conjecture-prover- Source
- ClawHub
- Version observed
- 1.0.19
- Source repository
- not published
- Repository observation
- No source repository listed
- First observed here
- 2026-08-28T22:54:58.619Z
- Observations recorded
- 5
- Installs (reported upstream)
- 0
- Weekly downloads (upstream)
- 1,150
- Declared license
- MIT-0
Observation history
2026-09-23T00:21:02.725Z
Fields that differed: changelog displayName latestVersion
| Field | Before | After |
|---|---|---|
changelog |
"- No functional or documentation changes to the conjecture-prover skill itself\n- The skill structure, description, and all capabilities remain unchanged" | "No user-visible changes in this version; the SKILL.md file remains unchanged." |
displayName |
"conjecture-prover" | "Conjecture-Prover" |
latestVersion |
"1.0.15" | "1.0.19" |
2026-09-21T23:20:53.834Z
Fields that differed: license description
| Field | Before | After |
|---|---|---|
license |
null | "MIT-0" |
description |
"猜想证明技能——将任意领域的猜想通过拆解→等价转化→归约→验证的全管线，转化为可验证的证明或精确归约为开放问题。覆盖数学、物理、CS、生物、经济、语言、历史等，5域29种任务×38种创新方法。触发词：猜想、证明、归约、conjecture-prover、meta-skill-system。" | null |
2026-09-12T14:17:54.398Z
Fields that differed: changelog latestVersion
| Field | Before | After |
|---|---|---|
changelog |
"No changes detected in files for version 1.0.14.\n\n- No updates or modifications were made to the code or documentation in this release.\n- All functionality and descriptions rem | "- No functional or documentation changes to the conjecture-prover skill itself\n- The skill structure, description, and all capabilities remain unchanged" |
latestVersion |
"1.0.14" | "1.0.15" |
2026-09-10T12:18:05.693Z
Fields that differed: changelog latestVersion
| Field | Before | After |
|---|---|---|
changelog |
"**Changelog for conjecture-prover v1.0.12**\n\n- Generalized core pipeline and description from a mathematics-only focus to a universal conjecture proving system, now covering mat | "No changes detected in files for version 1.0.14.\n\n- No updates or modifications were made to the code or documentation in this release.\n- All functionality and descriptions rem |
latestVersion |
"1.0.12" | "1.0.14" |
Correction
If you maintain this extension and believe anything above is inaccurate, request a correction. Corrections are published, and disputed entries are marked as disputed while under review.