Neelagiri65/equiv

Deterministic checker for behaviour-preserving code changes. Signed, re-runnable receipts; PR gate; single static binary.

2 best points · 0 comments · 1 Hacker News post · 4 GitHub stars · View on GitHub

Hacker News discussions

• Equiv, check that an AI refactor did not change what your code does (2 points, 0 comments, by Srinathprasanna, 2026-06-13)