Gabriel Carpio enhanced the sosy-lab/java-smt repository by developing a targeted test case for CVC5 proof handling, focusing on validating core proof-related methods within the CVC5NativeAPITest.java file. Using Java and leveraging test-driven development practices, Gabriel implemented tests for methods such as getRule, getChildren, equals, getResult, and getArguments, directly addressing the reliability of proof generation in the CVC5 solver. This work improved the maintainability and safety of future changes by expanding test coverage and supporting commit-driven quality assurance. The depth of the contribution lay in its focus on robust native API testing rather than broad feature or bug work.