Worked on Certora/Documentation over a two-month period, focusing on enhancing technical documentation for CVL tools. Improved clarity around storage variable usage in CVL expression summaries by refining Markdown-based documentation and providing concrete examples to distinguish allowed and disallowed summarizations. Delivered updates for the CVL Formatter and VSCode LSP extension, clarifying installation steps and expression usage to streamline developer onboarding and reduce support overhead. Emphasized technical writing and documentation skills to align with internal standards, supporting developer productivity and compliance. The work addressed both feature documentation and bug fixes, contributing to more accessible and accurate resources for Certora Prover developers.