Launched this week
Axyr
Code Review Tools AI Coding Agents AI Infrastructure Tools
3 followers
Code Review Tools AI Coding Agents AI Infrastructure Tools
3 followers
Your AI writes the code. Axyr proves whether the change is safe to ship ā SQL injection, broken access control (strict dominance), IDOR, leaked keys, DB-destroying migrations. It works from the change, not a frozen snapshot, and gives a verdict you can replay byte-for-byte. Deterministic. No LLM in the decision loop. Built in Rust. Proof, not vibes.
