Covstream is a newly released Rust library (version 0.1.3) for fixed-dimension streaming covariance calculations and Ledoit-Wolf shrinkage, designed to support high-performance statistical analysis and numerical tasks. It is built with a formal specification backed by Lean, focusing on providing memory safety and correctness. The library is useful for online covariance estimation and research pipelines. The author invites feedback on the API and documentation.