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.
as observed 2026-09-23T00:21:02.725Z- Identifier
omega-architect-formal-proof- Source
- ClawHub
- Version observed
- 0.2.6
- Source repository
- not published
- Repository observation
- No source repository listed
- First observed here
- 2026-09-18T20:20:38.833Z
- Observations recorded
- 2
- Installs (reported upstream)
- 1
- Weekly downloads (upstream)
- 166
- Declared license
- MIT-0
Observation history
2026-09-23T00:21:02.725Z
Fields that differed: changelog latestVersion
| Field | Before | After |
|---|---|---|
changelog |
"install paths completed: uvx --from git tag + pipx, all forms run and verified" | "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` |
latestVersion |
"0.2.5" | "0.2.6" |
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.