GIT_FEED

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.

View on GitHub
0Active

On the radar — signal detected

Stars
2
Forks
0
Contributors
0

Score updated Jun 26, 2026

// SUBSCRIBE

The repos that moved this week, why they matter, and what to watch next. One email. No noise.