verify-claim
npx machina-cli add skill dirkenglund/vvuq4ai-plugin/verify-claim --openclawVVUQ4AI Claim Verification Skill
When This Activates
This skill should be used when you:
- Generate a claim about a physical constant (speed of light, Planck's constant, etc.)
- State a mathematical identity or derivative
- Reference IEEE, NSF, or other standards compliance
- Make dimensional analysis assertions (units, conversions)
- Produce engineering specifications with numeric thresholds
How To Verify
Call the vvuq_resolve MCP tool with the claim text:
vvuq_resolve(query="<claim to verify>")
If the call fails or times out, note that the claim could not be machine-verified and proceed with appropriate caveats.
The response includes:
results: Related knowledge base entries (for context)verification: Structured verdict with checks (not all check types fire for every claim)
Verification Verdicts
| Verdict | Meaning | Action |
|---|---|---|
verified | Checks that fired all passed | State claim, noting it was machine-checked (not absolute proof) |
flagged | Error detected | Correct the claim, cite the check detail |
uncertain | Mixed signals | Qualify the claim, note uncertainty |
unverifiable | No applicable checks | Proceed but note claim is unverified |
Integration Pattern
When generating STEM content:
- Write your response normally
- For key claims, call
vvuq_resolveto verify - If flagged: correct the error inline, cite the verification
- If uncertain: add a caveat noting the uncertainty
- If verified: optionally note it was machine-checked
- If the service is unavailable: note the claim could not be verified
Example Flow
You're writing about fiber optic standards:
"A channel with COM of 2.5 dB meets IEEE 802.3ck compliance."
Before stating this, verify:
vvuq_resolve(query="COM of 2.5 dB meets IEEE 802.3ck compliance")
Response: verdict: "flagged" — COM must be >= 3.0 dB per IEEE8023:com-minimum
Corrected output:
"A channel with COM of 2.5 dB does not meet IEEE 802.3ck compliance, which requires COM >= 3.0 dB (per IEEE Std 802.3ck-2022, Annex 93A)."
Domains Covered
- Physics: Constants (c, h, k_B, G, e, m_e), equations, dimensional analysis
- Mathematics: Identities, derivatives, integrals
- IEEE 802.3: Ethernet channel compliance (COM, insertion loss, TDECQ, return loss, etc.)
- NSF Biosketch: Grant format compliance (section requirements, page limits)
- Photonics/EM: Device parameters, simulation validation
Source
git clone https://github.com/dirkenglund/vvuq4ai-plugin/blob/main/skills/verify-claim/SKILL.mdView on GitHub Overview
Verifies STEM claims generated by Claude using a machine-checked workflow. It targets constants, identities, standards references, dimensional analysis, and numeric specs, helping you decide when to state, caveat, or correct a claim.
How This Skill Works
To verify a claim, call vvuq_resolve(query="<claim to verify>"). The tool returns results and a structured verdict. Depending on the verdict (verified, flagged, uncertain, unverifiable), you update the response or add caveats.
When to Use It
- Generate a claim about a physical constant (e.g., c, h, G).
- State a mathematical identity or derivative.
- Reference IEEE, NSF, or other standards compliance.
- Make dimensional analysis assertions (units or conversions).
- Produce engineering specifications with numeric thresholds.
Quick Start
- Step 1: Write your response normally.
- Step 2: Call vvuq_resolve(query=<claim to verify>).
- Step 3: Apply verification verdicts: if flagged, correct inline; if uncertain, add a caveat; if verified, note machine-checked; if unverifiable, mark as unverified.
Best Practices
- Verify key numeric claims before presenting them.
- Query using the exact wording of the claim to avoid misinterpretation.
- Cite the verification result inline and explain any caveats.
- If the verification service times out or is unavailable, proceed with caveats.
- Keep a current list of relevant standards (IEEE, NSF) and their version numbers for corrections.
Example Use Cases
- Fiber-optic claim: 'COM of 2.5 dB meets IEEE 802.3ck' would be verified and corrected to >= 3.0 dB per IEEE Std 802.3ck-2022, Annex 93A.
- Constant claim: 'c = 3.0×10^8 m/s' is verified as the standard exact value with appropriate precision annotation.
- Math identity: 'd/dx sin(x) = cos(x)' is verified as a true identity and can be cited.
- Unit conversion: '1 inch = 2.54 cm' is verified and applied consistently with SI units.
- NSF biosketch rule: 'NSF biosketch page limits for sections' is verified and guidance is added if limits change.
