Worked on improving cross-platform reliability for the cedar-policy repositories, focusing on resolving Windows-specific issues in parsing and solver workflows. Addressed parsing errors in the SMT-LIB parser within cedar by implementing support for Windows CRLF line endings, ensuring consistent behavior across operating systems. In cedar-spec, fixed compatibility problems in Solver.checkSat and Solver.getModel by normalizing line endings and refining output handling. All changes were supported by expanded test coverage to validate behavior on both Windows and Linux. Utilized Rust, asynchronous programming, and testing best practices to enhance robustness, reduce support overhead, and streamline adoption for Windows developers and CI environments.