KLOUCEO/klou-verify

Deterministic cloud cost governance via Z3 SMT Solver. Formal verification of infrastructure states to prove and prevent waste. Zero-server & metadata-sovereign by design.

1 best points · 0 comments · 1 Hacker News post · 2 GitHub stars · View on GitHub

Hacker News discussions

• Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM) (1 points, 0 comments, by marcosjunior, 2026-04-29)