Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM)

Category: infrastructure

Tags: cloud-cost, formal-verification, smt-solver

Score: 6.5/10 (Innovation: 7, Technical: 8, Documentation: 6, Utility: 5)

KLOU applies SMT solving via Z3 to formalize cloud cost verification, detecting financial waste before billing occurs. Its zero-server, Wasm-based client-side execution and air-gapped privacy model offer an innovative approach to FinOps. The project is interesting for combining theorem proving with cloud governance, though currently lacks broad adoption and real-world validation.

Target audience: devops, cloud architects, finops engineers

Repository: https://github.com/KLOUCEO/klou-verify

View on Hacker News