During March 2025, contributed to the sosy-lab/java-smt repository by enhancing test coverage for CVC5 proof handling. Developed a targeted test case in CVC5NativeAPITest.java to validate core proof-related methods, including getRule, getChildren, equals, getResult, and getArguments, ensuring the reliability of proof generation within the CVC5 solver. Focused on test-driven development and native API testing using Java, the work prioritized maintainability and future-proofing of the codebase. By expanding unit tests for the solver’s native API, the changes reduced risk from future modifications and supported safer refactoring, ultimately strengthening quality assurance for proof generation features.