Skills/ClawHub/omega-architect-formal-proof

omega-architect-formal-proof@0.2.6

VERIFIED

Publisher claims: "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." Observed in sandbox: no network, touches nothing outside the project, writes no memory.

Registry ClawHubPublisher diamond2nv · joined 2 days agoInstalls 387Last detonated 2d ago
$clawhub install omega-architect-formal-proof
WatchReport an issue

Is [email protected] safe to install?

KillerSkills ran it in the KillerSkills honeypot sandbox (1 scenario) on 2026-10-30 and scored it 93/100 (Verified). It did what it claims and nothing else we could detect: no undeclared network egress, no credential reads, no persistent instruction writes. Summary: no network, touches nothing outside the project, writes no memory.

Behavior trace

Honeypot run · 0 s · 1 scenarios · 0 deviations
t+CategoryObserved action
0.0sprocessno install scripts in bundle
0.0sprocessscript backend runs setup only
0.0sprocessscript backend runs setup only

Static findings

No findings across 203 lines in 2 files.