Real Skill packageSource verifiedClawHub registry

hfpclawer-formula-verify

Verify LaTeX formulas via multi-layer cross-validation pipeline: SymPy roundtrip → Wolfram CAS comparison → dimensional consistency. Supports single FID and batch verification with LaTeX report generation.

Identity and source

Publisher attributiondiamond2nvregistry owner unverified by skillvetai
Functional categorySupport, Ecommerce & Customer Opsautomatically inferred · 57% rule confidence
Package forminstruction bundle2 recorded files
Canonical sourceClawHub registryclawhub:diamond2nv:hfpclawer-formula-verify
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/hfpclawer-formula-verify

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/hfpclawer-formula-verify

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/hfpclawer-formula-verify

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 @diamond2nv/hfpclawer-formula-verify
clawhub inspect @diamond2nv/hfpclawer-formula-verify --version 0.19.4

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
full text content
Files
2 / 2 inspected as text
Checked
9/23/2026, 1:28:05 PM
Scanner
0.1.3
Policy
1.0.3
1 inferred permission indicators
  • network access — automatically inferred
4 dependency and API indicators
  • api: clawhub.ai
  • api: github.com
  • api: pypi.org
  • api: www.wolfram.com
External clawhub result: suspicious

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, 3:48:36 AM
Release binding
Matches this record
  • skillspector: suspicious
  • llm: suspicious

Recorded files

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

Package content hashsha256:89eab7eb21823d4763c1276c479d02a23c90b48b6dd111cacc8b66b0fc4d1735
Show up to 2 recorded paths
  • skill-card.md
  • SKILL.md

Source changelog

Cross-link the Exo suite (entry skill `exo-suite-linkage`: literature → experiments → proofs, cost tiers low → medium → high) · pin `uvx` launch versions (rug-pull hygiene; `uvx` otherwise reuses an installed tool env and can run an older release).

Release security diff

mediumCompared fixed releases 0.19.3 and 0.19.4; 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
  • dependency surface changed
  • file surface changed
  • 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.

0.19.39/18/2026sha256:2bd3ca4094b18a921f55ae5206fbf0c689700d5dd4fdd97577b5df701d6ea34a