Worked on the verus-lang/verus repository to enhance publication-related documentation by adding comprehensive VeriContest Publication Documentation. Focused on improving traceability and discoverability, the work involved creating a new documentation file in Markdown, detailing metadata such as authors, venue, and date, and providing direct links to both the PDF and the source code repository. This update aligned the project with publication standards, supporting researchers and reviewers with clear referencing. The effort concentrated on documentation quality rather than feature development or bug fixes, demonstrating attention to detail and proficiency in documentation practices and Markdown formatting within an open-source research context.