Worked on the GaloisInc/cryptol and cryptol-specs repositories, delivering three features over three months focused on cryptography, symbolic computation, and CI/CD reliability. Enhanced dependency management and CI stability by updating Haskell library versions to support newer GHC releases. Improved symbolic reasoning in Cryptol by redesigning enum tag encoding for compatibility with Bitwuzla-based provers, streamlining automated verification and reducing manual intervention. Added ML-KEM elliptic curve cryptography support with comprehensive test vectors and decapsulation failure verification, establishing a structured framework for elliptic curve operations. Utilized Haskell and Cryptol, applying expertise in functional programming, type theory, and cryptographic testing throughout the work.