Worked on the vprover/vampire repository to enhance solver capability visibility by implementing CaDiCaL version reporting in spider mode and updating TPTP proof outputs to include this information. Focused on improving debugging and interoperability, the changes clarified solver capability reporting without disrupting existing functionality, ensuring backward compatibility. This update supports smoother integration with downstream tooling and continuous integration pipelines by reducing ambiguity in solver diagnostics. Utilized C++ for development and debugging, applying software engineering best practices to maintain code quality. The work addressed traceability challenges, enabling more efficient diagnosis of solver-related issues and supporting robust workflows for client and CI environments.