Show HN: CLI that helps AI agents avoid vulnerable dependencies(github.com)14 points by modelorona 3 months ago | 4 comments
Creusot helps you prove your Rust code is correct(github.com)56 points by fanf2 5 months ago | 6 comments
Ribir: Non-intrusive GUI framework for Rust/WASM(github.com)71 points by adamnemecek 11 months ago | 16 comments
Show HN: Mdarena – Benchmark your Claude.md against your own PRs(github.com)14 points by hudsongr 6 months ago | 1 comments
Show HN: Ctx – a /resume that works across Claude Code and Codex(github.com)50 points by dchu17 6 months ago | 20 comments
Show HN: Galois connections for composable numeric casts in Rust(github.com)20 points by partialsolve 3 months ago | 1 comments