Notes on building software, and what must stay true.https://hengliuz.com/https://hengliuz.com/blog/an-ai-agent-with-verus/https://hengliuz.com/blog/an-ai-agent-with-verus/I paired an LLM agent with the Verus verifier on 14 open-source Rust crates. It was a strong prover and an ordinary bug hunter.Sun, 08 Nov 2026 00:00:00 GMT