Claude Codepasses structure
Checker 0.1.0 · agent-skills-2026-08-13+claude-code-docs-2026-08-13 · 9/23/2026.claude/skills/omega-architect-formal-proofRuntime, accounts, dependencies, permissions, network behavior and task quality remain untested.
Real Skill packageSource verifiedClawHub registry
omega-architect-formal-proof
Formal theorem proving with omega-architect: install the CLI, configure a Lean 4 toolchain and an LLM backend, and drive the generate -> compile -> verify loop (`omega prove`), including strategy modes, budgets and no-LLM smoke tests.
Identity and source
Publisher attributiondiamond2nvregistry owner unverified by skillvetai
Functional categorySoftware Developmentautomatically inferred · 61% rule confidence
Package forminstruction bundle2 recorded files
Canonical sourceClawHub registryclawhub:diamond2nv:omega-architect-formal-proof
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.
OpenAI Codexpasses structure
Checker 0.1.0 · agent-skills-2026-08-13+codex-docs-2026-08-13 · 9/23/2026.agents/skills/omega-architect-formal-proofRuntime, 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/omega-architect-formal-proofRuntime, 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/omega-architect-formal-proofclawhub inspect @diamond2nv/omega-architect-formal-proof --version 0.2.6Security 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
2 dependency and API indicators
- api: clawhub.ai
- api: github.com
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, 3:46:00 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 hash
sha256:d7ca647ca8376ecdad415a86706241b18aa73bea88b8e06a8dc1ce2cad592b45Show up to 2 recorded paths
skill-card.mdSKILL.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.2.5 and 0.2.6; 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.2.59/18/2026
sha256:2f7ac2e8ddd363b11b154fb49dd76761fa8fb149d0b95e177ba5e32758d65014