About
Your AI writes most of your code now — you don't read all of it. The bug isn't in the line you reviewed, it's in the 400 you accepted: SQL injection, broken access control, a leaked key, a migration that drops the DB. Axyr is the layer that proves whether an AI change is safe to ship. It starts from the change itself and asks one question: what security property did this commit just break? Then it proves the answer — execution path, strict dominance, a verdict you can replay byte-for-byte. Four verdicts: CRITICAL (provably broken), WARNING (doubt, with a reason), SAFE (proven), UNKNOWN (declared out loud, never hidden as safe). Deterministic. No LLM in the decision loop. Built in Rust. Proof, not vibes.
Maker History
🎉
Joined Product HuntMay 31st, 2026
