Developed and introduced the Why3find package manager within the ocaml/opam-repository, focusing on streamlining Why3 package management and improving OCaml code workflows. Leveraging expertise in OCaml development and package management, the work enhanced package discovery and clarified dependency handling for Why3 projects. The Why3find tool was designed to improve developer productivity and package reliability, supporting more efficient workflows and better packaging ergonomics. Throughout the process, the developer demonstrated strong software engineering practices, effective collaboration with repository teams, and disciplined commit management. No major bug fixes were reported during this period, with efforts concentrated on delivering this new feature.