Worked on the Certora/Documentation repository to deliver and refine the rerouting summaries technique in CVL, enabling CVL functions to access storage-located variables through a Solidity harness. Focused on improving documentation clarity by detailing syntax, calldata handling, and parameter binding, making the feature more accessible for users. Addressed documentation maintenance by correcting typographical errors and updating the spelling wordlist to include domain-specific terms like 'Prover.' Utilized Markdown for documentation and Solidity for illustrating technical concepts, with an emphasis on formal verification and smart contract development. The work enhanced both the usability and reliability of documentation artifacts for CVL users.