code-safety-audit

Workflow phase h unsafe wrap with multi-agent verification.

Enforcing senior Rust quality (Decimal vs f64 for money, typed AppError vs Result<_,String>, zero infra imports in domain/) and preventing latent numerical bugs in KoproGo financial computations.

Eliminating unsafe pointer derefs by adding safe accessors with adversarial review cycles.

Systems code where memory safety must hold at compile-time without runtime GC overhead.

Workflow phase h dedup with multi-agent verification.

Cataloging anti-patterns across a codebase in a single pass with enforced coverage.

Staged multi-agent compilation loops with spec-grounded verification.

Comprehensive design review of library APIs or critical paths where idiomatic Rust matters

Catching Rust safety bugs in compiler code reviews without full AST context.

Catching Rust safety bugs in compiler code reviews without full AST context.

reviewing Rust code for memory safety, ownership patterns, and async correctness