Show HN: Verifying AWS Costs Deterministically with Z3 SMT Solver (WASM)github.com/KLOUCEO1 pointmarcosjunior2 months ago