Verus
Tool for verifying the correctness of Rust code with specifications and proofs checked by an SMT solver.
0 members list Verus, unchanged over the last 12 weeks, data as of 10 October 2026
Usage on Stackness
0membersunchanged over the last 12 weeks
Members who list Verus in their Stack, by week.
Nobody has this tool in their stack yet.
Posts about Verus
- Do testing instructions improve coding agent correctness? What 30 conditions on one Zstd task measured
In a 30-condition eval, telling Codex to use TDD cut fully correct Zstd decoders by 5 to 7 points. No testing instruction clearly beat none.